#include <stdio.h>
int main()
{
int year,time;
scanf("%d %d",&year,&time);
double money;
if(year >= 5)
{
if(time >= 40)
{
money = 40*50 + (time - 40)*1.5*50;
}
else money = 50 * time;
}else
{
if(time >= 40)
{
money = 30*40 + (time - 40)*1.5*30;
}
else money = 30 * time;
}
printf("%.2f",money);
return 0;
}