#include <stdint.h>
#include <stdio.h>

int main(void)
{
	uint32_t L, M, N;
	scanf("%u %u %u", &L, &M, &N);
	M += N / 25;
	N %= 25;
	L += M / (100 / 25);
	M %= 100 / 25;
	L %= 1000 / 100;
	printf("%u\n", L+M+N);
	return 0;
}