#include <stdio.h>
void main()
{
int c,s;
float p,w,d,f;
scanf("%f,%f,%d",&p
,&w
,&s
); if(s>=3000)c=12;
else c=s/250;
switch(c)
{
case 0:d=0;break;
case 1:d=2;break;
case 2:
case 3:d=5;break;
case 4:
case 5:
case 6:
case 7:d=8;break;
case 8:
case 9:
case 10:
case 11:d=10;break;
case 12:d=15;break;
}
f=p*w*s*(1-d/100.0);
}
I2luY2x1ZGUgPHN0ZGlvLmg+CnZvaWQgbWFpbigpCnsKCWludCBjLHM7CglmbG9hdCBwLHcsZCxmOwoJc2NhbmYoIiVmLCVmLCVkIiwmcCwmdywmcyk7CglpZihzPj0zMDAwKWM9MTI7CgllbHNlIGM9cy8yNTA7Cglzd2l0Y2goYykKCXsKCQljYXNlIDA6ZD0wO2JyZWFrOwoJCWNhc2UgMTpkPTI7YnJlYWs7CgkJY2FzZSAyOgoJCWNhc2UgMzpkPTU7YnJlYWs7CgkJY2FzZSA0OgoJCWNhc2UgNToKCQljYXNlIDY6CgkJY2FzZSA3OmQ9ODticmVhazsKCQljYXNlIDg6CgkJY2FzZSA5OgoJCWNhc2UgMTA6CgkJY2FzZSAxMTpkPTEwO2JyZWFrOwoJCWNhc2UgMTI6ZD0xNTticmVhazsKCX0KCWY9cCp3KnMqKDEtZC8xMDAuMCk7CglwcmludGYoImZyZWlnaHQ9JTE1LjRmXG4iLGYpOwp9