#include <stdio.h>

int main(){
    int l,m,n,k=0;
    scanf("%i%i%i",&l,&m,&n);
    m += n / 25; 
    k += n % 25;
    l += m / 4;
    k += m % 4;
    k += l % 10;
    printf("%i\n",k);
}