/* package whatever; // don't place package name! */

import java.util.*;
import java.lang.*;
import java.io.*;

/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		Scanner sc = new Scanner(System.in);
		
		int yen1,yen25,yen100,coin;
		yen100 = sc.nextInt();
		yen25 = sc.nextInt();
		yen1 = sc.nextInt();
		coin = yen100+yen25+yen1;
		
		while(coin!=0){
			while(yen1>=25){
				yen1-=25;
				yen25+=1;
			}
			while(yen25>=4){
				yen25-=4;
				yen100+=1;
			}
			while(yen100>=10){
				yen100-=10;
			}
			break;
		}
		
		System.out.println(yen1+yen25+yen100);
		
	}
}