#include<stdio.h>
int main(){
int a,b,c;
scanf("%d %d %d",&a,&b,&c);
while((c-25)>=0){
c-=25;
b++;
}
while((b-4)>=0){
b-=4;
a++;
}
while((a-10)>=0) a-=10;

printf("%d",a+b+c);
return 0;
}