#include<stdio.h>
#include<string.h>


int main(){
int a,b,c;
int i;
int x;
int z=0;
scanf("%d",&a);
scanf("%d",&b);
scanf("%d",&c);
b+=c/25;
c%=25;
a+=b/4;
b%=4;
x=a/10;
a%=10;
printf("%d\n",a+b+c);


	return 0;
}