#include <cstdio>
int main()
{
char name[10];
double a, b;
scanf("%s%lf%lf", &name, &a, &b);
printf("TOTAL = R$ %.2lf\n", a + b * 0.15);
return 0;
}