#include <stdio.h>
 main( )
 {
     int a,b,s;
     scanf("%d %d",&a,&b);
     if(a<=3)
     {
         s=10;
     }
     else if(a<=10)
     {
         s=10+(a-3)*2;
     }
     else
     {
         s=24+(a-10)*3;
     }
     if(b>5)
     {
         s=s+2*b/5;
     }
     printf("%d",s);
 }