#include <stdio.h>
int main(void){
    
    int L,M,N;
    scanf("%d%d%d",&L,&M,&N);
    M=M+N/25;
    N=N%25;
    L=L+M/4;
    M=M%4;
    
    L=L%10;
    printf("%d",M+L+N);
}