#include <stdio.h>

int main(){
	int coin100,coin25,coin1;
	scanf("%d%d%d",&coin100,&coin25,&coin1);
	
	coin25 += coin1 / 25;
	coin1 %= 25;
	coin100 += coin25 / 4;
	coin25 %= 4;
	coin100 %= 10;
	
	printf("%d",coin100 + coin25 + coin1);
}