#include <stdio.h>
int main()
{
float dis;
int st;
float ff;
scanf("%f %d",&dis,&st);
if(dis <= 3)
ff = 10;
else if(dis > 3 &&dis <=10)
ff = 10 + (dis - 3)*2;
else
ff = 10 + 7*2 + (dis - 10) * 3;
if(st >= 5)
ff += st/5 * 2;
printf("%.1f",ff);
return 0;
}