#include <stdio.h>
int main(){
    //iuput
    int L,M,N;
    scanf("%d %d %d",&L,&M,&N);

    //change
    int total = 100*L+25*M+1*N;

    int r_1000 = total%1000;
    int q_1000 = (total-r_1000)/1000;
    total = r_1000;

    int r_100 = total%100;
    int q_100 = (total-r_100)/100;
    total = r_100;

    int r_25 = total%25;
    int q_25 = (total-r_25)/25;
    total = r_25;

    //output
    printf("%d\n",q_100+q_25+total);

    return 0;
}