#include <stdio.h>
#include <stdlib.h>

int main(void){
	// 100円硬貨の枚数
	int coin100 = 0;
	scanf("%d",&coin100);
	// 25円硬貨の枚数
	int coin25 = 0;
	scanf("%d",&coin25);
	// 1円硬貨の枚数
	int coin1 = 0;
	scanf("%d",&coin1);
	// 1円硬貨を25円硬貨に両替
	coin25 += (coin1 / 25);
	if((coin1 / 25) > 0){
		coin1 = (coin1 % 25);		
	}
	// 25円硬貨を100円硬貨に両替
	coin100 += (coin25 / 4);
	if((coin25 / 4) > 0){
		coin25 = (coin1 % 4);	
	}
	// 100円硬貨を1000円紙幣に両替
	if((coin100 / 10) > 0){
		coin100 = (coin100 % 10);	
	}
	printf("%d",coin100 + coin25 + coin1);
}