#include <stdio.h>


void change(int *large_pcs, int *small_pcs, int late)
{
	*large_pcs += *small_pcs / late;
	*small_pcs %= late;
}


int main(void)
{
	int lmn[4] = {0};
	int i;
	int total = 0;

	for (i = 1; i < 4; i++) {
		do {
			scanf("%d", &lmn[i]);
		} while (lmn[i] < 0 || lmn[i] > 1000);
	}

	change(&lmn[2], &lmn[3], 25);
	change(&lmn[1], &lmn[2],  4);
	change(&lmn[0], &lmn[1], 10);
	
	for (i = 1; i < 4; i++)
		total += lmn[i];

	printf("%d\n", total);

	return 0;
}