#include "stdio.h"
int main() {
int a,b,c,d=0;
scanf("%d%d%d",&a,&b,&c);
b+=c/25;
c=c%25;
a+=b/4;
b=b%4;
d=a/10;
a=a%10;
printf("%d",a+b+c);
return 0;
}