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