#include <stdio.h>

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

	b = b + (a / 25);
	a = a % 25;

	c = c + (b / 4);
	b = b % 4;

	d = c / 10;
	c = c % 10;

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

	return 0;
}