#include<stdio.h>
int main(){
    int a,b,c,x;
    int m=0;
    scanf("%d",&a);
    x=a*100;
    scanf("%d",&b);
    x+=b*25;
    scanf("%d",&c);
    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",m);
}