#include<stdio.h>
int main(){
    int a,b,c,x;
    int m=0;
    scanf("%d %d %d", &a, &b, &c);
    x=a*100;
    x+=b*25;
    x+=c;
    while(x > 1000){
        x-=1000;
    }
    while(x > 100){
        x-=100;
        m++;
    }
    while(x > 25){
        x-=25;
        m++;
    }
    while(x > 0){
        x-=1;
        m++;
    }
    printf("%d\n",m);
    return 0;
}