#include<stdio.h>
    int main(){
        int L, M, N, i, j, k;
            scanf("%d", &L);
                scanf("%d", &M);
                    scanf("%d", &N);
        if(N >= 25){
            for(k = 0; N - 25 * k >= 0; k++);
                }else{}
                    M = M + k;
            if(M >= 4){
                for(j = 0; M - 4 * j >= 0; j++);
                    }else{}
                        L = L + j;
                if(L >= 10){
                    for(i = 0; L - 10 * i >= 0; i++);
                        }else{}
        printf("%d\n", (N - 25*k) + (M - 4*j) + (L - 10*i));
    return 0;
    }