#include <stdio.h>

int main(void) {
	int hyaku,nijyugo,ichi;
	
	scanf("%d",&hyaku);
	scanf("%d",&nijyugo);
	scanf("%d",&ichi);
	
	while(ichi>=25){
		nijyugo++;
		ichi -=25;
	}
	while(nijyugo>=4){
		hyaku++;
		nijyugo -=4;
	}
	while(hyaku>=10){
		hyaku -=10;
	}
	printf("%d\n",ichi+nijyugo+hyaku);
	
	return 0;
}