#include 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; }