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

#define READ_BUFSIZE ( 16 )
#define READ_DELIMITER ( " " )


//標準入力取得（１行）

int GetStdin( char* pszStr, int lMaxLen )
{
	int lLen = 0;

    memset( pszStr, 0, lMaxLen );
    if( fgets( pszStr, lMaxLen, stdin ) )
    {
	    lLen = strlen( pszStr );
	    if( lLen >= 1 )
	    {
			if( pszStr[ lLen - 1 ] == 0x0A )
			{
				pszStr[ lLen - 1 ] = 0;
				lLen--;
			}
		}
	}
	
	return( lLen );
}



int main(int argc, char *argv[]) 
{
	char szRead[READ_BUFSIZE] = "";
	char* psOutbuf[2] = { 0 };

	//100円硬貨の枚数
	GetStdin( szRead, READ_BUFSIZE );
	int lNum100 = atoi( szRead );

	//25円硬貨の枚数
	GetStdin( szRead, READ_BUFSIZE );
	int lNum25 = atoi( szRead );

	//1円硬貨の枚数
	GetStdin( szRead, READ_BUFSIZE );
	int lNum1 = atoi( szRead );

	lNum25 += lNum1 / 25;
	lNum1 -= lNum1 / 25 * 25;

	lNum100 += lNum25 / 4;
	lNum25 -= lNum25 / 4 * 4;

	lNum100 -= lNum100 / 10 * 10;

	printf( "%d\n", lNum1 + lNum25 + lNum100  );


	
	return 0;

}