#include <stdio.h>

int main(void){
	int l,m,n,r;

	scanf("%d", &l);
	scanf("%d", &m);
	scanf("%d", &n);

	m = m+n/25;
	n = n%25;

	l = l+m/4;
	m = m%4;

	l = l%10;

	printf("%d\n", n+m+l);

	return 0;
}