#include <stdio.h>

int main(){
    int C[4];
    int cnt = 0, max = 0, i, j, k = 0;
    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]);

    for(i = 0; i < 100;i++){
        for(j = 0; j < 3; j++){
            if(flag[2 - j] == 1){
                C[3 - j - 1] += C[3 - j]/wari[2 - j];
                C[3 - j] = C[3 - j]%wari[2 - j];
            }
        }
        max = 0;
        for(k = 0; k < 3; k++){
            if(max <= C[k + 1] && C[k + 1] >= wari[k]){
                max = C[k + 1];
                for(j = 0; j < 3; j++){
                    if(j == k){
                        flag[j] = 1;
                    }else{
                        flag[j] = 0;
                    }
                }

            }else{
                cnt++;
            }
        }
        //printf("max: %d\n", max);
        if(cnt == 3){
            //printf("break\n");
            break;
        }
        cnt = 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[1] + C[2] + C[3]);

    return 0;
}