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