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