#include <stdio.h>

int main(void) {
	int L,M,N;

	scanf("%d", &L);
	scanf("%d", &M);
	scanf("%d", &N);

	while(N >= 25) {
		N -= 25;
		M++;
	}

	while(M >= 4) {
		M -= 4;
		L++;
	}

	while(L >= 10) {
		L -= 10;
	}

	int total;
	total = L + M + N;

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

	return 0;
}