#include<stdio.h>

int main(void){
	int k100,k25,k1;

	scanf("%d%d%d",&k100,&k25,&k1);

	k25 += k1/25;
	k1 -= k1/25*25;

	k100 += k25/4;
	k25 -= k25/4*4;

	k100 -= k100/10*10;

	printf("%d\n",k1+k25+k100);

	return 0;
}