#include <stdio.h>

int main(){
	int L, M, N;
	scanf("%d%d%d", &L, &M, &N);
	int a = L /25;
	if(a > 0){
		L = L % 25;
		M += a;
	}
	a = M / 4;
	if(a > 0){
		M = M % 4;
		N += a;
	}
	a = N / 10;
	if(a > 0) N = N % 10;
	printf("%d\n", L + M + N);
	return 0;
}