#include <stdio.h>

int main(){
    int C[4];
    int c_num = 0, max = 0, i, j;
    int Coin[3] = {100, 25, 1};
    int wari[3]= {10, 4, 25};
    int flag[3] = {0};

    for(i = 0; i < 3; i++){
        scanf("%d\n", &C[i + 1]);
        if(max <= C[i + 1] && C[i + 1] >= wari[i]){
            max = C[i + 1];
            for(j = 0; j < 3; j++){
                if(j == i){
                    flag[j] = 1;
                }else{
                    flag[j] = 0;
                }
            }
        }
    }
    //printf("%d %d %d\n", flag[0], flag[1], flag[2]);
    max = 0;
    for(i = 0; i < 3; i++){
        for(j = 0; j < 3; j++){
            if(flag[2 - j] == 1){
                C[3 - j - 1] += C[3 - j]/wari[j];
                C[3 - j] = C[3 - j]%wari[j];
            }
        }
        if(max <= C[i + 1] && C[i + 1] >= wari[i]){
            //max = C[i + 1]; printf("max: %d\n", max);
            for(j = 0; j < 3; j++){
                if(j == i){
                    flag[j] = 1;
                }else{
                    flag[j] = 0;
                }
            }
        }
        //printf("%d %d %d\n", C[1], C[2], C[3]);
        //printf("%d %d %d\n", flag[0], flag[1], flag[2]);
    }


    printf("%d\n", C[0] + C[1] + C[2]);

    return 0;
}