/*	太郎君の国では通貨として1000円札の紙幣と、100円、25円、1円の硬貨があります。
それ以外の金額の紙幣や硬貨はありません。
両替は、
・1円硬貨25枚で25円硬貨1枚に
・25円硬貨4枚で100円硬貨1枚に
・100円硬貨10枚で1000円札1枚に
それぞれ替えることができます。
入力に、貯金箱の中身としてそれぞれの硬貨の枚数が与えられるので、
硬貨の枚数が最も少なくなるように両替したとき、
最終的に太郎君が所持する硬貨の合計枚数を出力してください。
両替は手数料無く何度でもすることができます。
また、両替の前後で総額が変化してはいけません。*/
#include<stdio.h>
int main(void){
	int money[4] = {1000, 100, 25, 1};
	int L,M,N;		//	100円硬貨、25円硬貨、1円硬貨の順で入力
	int change;		//	両替の際に使う
	scanf("%d",&L);
	scanf("%d",&M);
	scanf("%d",&N);
	//printf("100円%d枚、25円%d枚、1円%d枚\n",L,M,N);
	
	change = N / 25;
	M += change;
	N -= change * 25;
	//printf("100円%d枚、25円%d枚、1円%d枚\n",L,M,N);
	
	change = M  / 4;
	L += change;
	M -= change * 4;
	//printf("100円%d枚、25円%d枚、1円%d枚\n",L,M,N);
	
	change = L  / 10;
	L -= change * 10;
	//printf("100円%d枚、25円%d枚、1円%d枚\n",L,M,N);
	
	printf("%d\n",L + M + N);
	return 0;
}