#include<stdio.h>

int main(void)
{
	int L, M, N, i=1;

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

	if (N / 25 >= 1)
	{
		while (N - 25 * i >= 0)
		{
			i++;
		}

		N = N - 25 * (i - 1);
		M = M + (i - 1);
	}

	i = 0;

	if (M / 4 >= 1)
	{
		while (M - 4 * i >= 0)
		{
			i++;
		}

		M = M - 4 * (i - 1);
		L = L + (i - 1);
	}

	i = 0;

	if (L / 10 >= 1)
	{
		while(L - 10 * i>=0)
		{
			i++;
		}

		L = L - 10 * (i - 1);
	}

	printf("%d", L + M + N);

        return 0;

}