#include<stdio.h>

int main(void){
    int L, M, N;
    
    scanf("%d\n",&L);
    scanf("%d\n",&M);
    scanf("%d\n",&N);
    
    M+=N/25;
    N=N%25;
    L+=M/4;
    M=M%4;
    L=L%10;
    
    printf("%d",L+M+N);
}