#include <bits/stdc++.h>

using namespace std;

int main(int argc, char **argv) {
	int L=0,M=0,N=0;
	int i;
	scanf("%d%d%d",&L,&M,&N);

	for(i=0;N>=25;i++)
	{
		N -= 25;
		M++;
	}
	
	for(i=0;M>=4;i++)
	{
		M -= 4;
		L++;
	}

	for(i=0;L>=10;i++)
	{
		L -= 10;
	}
	printf("%d\n",N+M+L);
	return 0;
}