#include<stdio.h>
#include<string.h>


int main(){
int a,b,c;
int i;
int x;
int z=0;
scanf("%d",&a);
scanf("%d",&b);
scanf("%d",&c);
do{
	if(a>=25){
		a-=25;
		b++;
		
		
	}
	
	
}while(a/25!=0);
do{
	if(b>=4){
		
		b-=4;
		c++;
		
		
	}
	
	
}while(b/4!=0);
do{
	if(c>=10){
		c-=10;
		
		
		
	}
	
	
	
	}while(c/10!=0);
	printf("%d\n",a+b+c);
	return 0;
}