#include <stdio.h>

int main(void)
{
	int hyakuenn;
	int nijyuugoenn;
	int ichienn;
	int t;
	int s;
	int y;
	scanf("%d%d%d",&hyakuenn,&nijyuugoenn,&ichienn);
	
	while(ichienn>=25){
		ichienn=ichienn-25;
		nijyuugoenn+=1;
	}
	while(nijyuugoenn>=4){
		nijyuugoenn=nijyuugoenn-4;
		hyakuenn+=1;
	}
	while(hyakuenn>=10){
		hyakuenn=hyakuenn-10;
		
	}
	printf("%d",ichienn+nijyuugoenn+hyakuenn);


	
	
	
	return 0;
}