#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);
	coin1 = (coin1 % 25);
	// 25円硬貨を100円硬貨に両替
	coin100 += (coin25 / 4);
	coin25 = (coin1 % 4);
	// 100円硬貨を1000円紙幣に両替
	coin100 = (coin100 % 10);
	
	printf("%d",coin100 + coin25 + coin1);
}