#include <stdio.h>
int main()
{
double m, n;
scanf("%lf %lf", &m, &n);
double t1, t2, t3;
if(m <= 3) t1 = 10;
else if( m <= 10) t1 = 10 + 2 * (m - 3);
else t1 = 10 + 2 * (10 - 3) + 3 * (m - 10);
t2 = 2 * ((int)n / 5);
t3 = t1 + t2;
double r = t3 - (int)t3;
if(r < 0.5) t3 = (int)t3;
else t3 = (int)t3 + 1;
printf("%d",(int)t3);
return 0;
}