#include <stdio.h>

int main() {
    int num100[2];
    int num25[2];
    int num1[2];

    scanf("%d",&num100[0]);
    scanf("%d",&num25[0]);
    scanf("%d",&num1[0]);

    num1[1]=num1[0]/25;

    num25[1]=(num25[0]+num1[1])/4;

    num100[1] = (num100[0] + num25[1])/10;

    if(num100[1]>0){
        num1[0] -= num1[1]*25;
        num25[0] -= (num25[1]*4 - num1[1]);
        num100[0] -= (num100[1]*10 - num25[1]);
    }
    printf("%d\n",num1[0]+num25[0]+num100[0]);



    return 0;
}