#include<stdio.h>

int main(void)
{
	int a,b,c;
	scanf("%d %d %d",&a,&b,&c);

	if((c/25)!=0) {
		b+=c/25;
		c=c%25;
	}
	if((b/4)!=0) {
		a+=b/4;
		b=b%4;
	}
	if((a/10)!=0)
		a=a%10;

	printf("%d\n",a+b+c);
	return 0;
}