<?php

for($i = 0; $i < 3; $i ++){
    $in = trim(fgets(STDIN));
    $input[$i] = $in;
}

$count1 = $input[0];
$count25 = $input[1];
$count100 = $input[2];
$countAll = 0;

$en1 = floor($count1 / 25);

if($en1 < 1){
    $countAll += $count1;
}else{
    $count25 += $en1;
}

$en25 = floor($count25 / 4);

if($en25 < 1){
    $countAll += $count25;
}else{
    $count100 += $en25;
}

$en100 = floor($count100 /10);

$en100Amari = $count100 - ($en100 * 10);

if($en100Amari >= 1){
    $countAll += $en100Amari;
}

echo $countAll."\n";