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