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