#include<stdio.h>

int main(){
	int h,q,c;
	scanf("%d%d%d",&h,&q,&c);
	int total =0;
	
	total += c %25;
	q += c/25;
	total += q % 4;
	h += q/4;
	total += h%10;
	
	printf("%d\n",total);
	
	return 0;
}