#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int main()
{
int l,t;
double m=6;
scanf("%d%d",&l,&t);
if(l<=2)
{
m=6;
}
else if(l>2&&l<=10)
{
m=m+(l-2)*1.8;
}
else if(l>10)
{
m=m+14.4+(l-10)*2.7;
}
if(t<3)
{
m+=0;
}
else{
m=m+(ceil(t/3));
}
if(m==(int)m)
printf("%d",(int)m);
else{
printf("%.1lf",m);
}
return 0;
}