#include "stdio.h"

int main(void) {
int a,b,c,d=0;
scanf("%d",&a);//100
scanf("%d",&b);//25
scanf("%d",&c);//1
b=b+c/25;
c=c%25;
a=a+b/4;
b=b%4;
d=a/10;
a=a%10;

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