#include <stdio.h>
#include <string.h>

int main(void){
    int i, j, L, M, N;
    scanf("%d %d %d", &L, &M, &N);
    int item[10] = {};
    while(L>=10 || M>=4 || N>=25){
        while(N>=25){
            M++;
            N -= 25;
        }
        while(M>=4){
            L++;
            M -= 4;
        }
        while(L>=10){
            L -= 10;
        }
    }
    printf("%d\n", L+M+N);
    return 0;
}