#include <stdio.h>
int main(void){
    int L, M, N, O = 0; //L:100yen M:25yen N:1yen O:1000yen
    scanf("%d%d%d", &L, &M, &N);
    if(N >= 25){
        M += (N / 25);
        N %= 25;
    }
    if(M >= 4){
        L += (M / 4);
        M %= 4;
    }
    if(L >= 10){
        O += (L / 10);
        L %= 10;
    }
    printf("%d\n", L + M + N);
    return 0;
}