<?php

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

$count = 0;

$en1 = floor($input[0] / 25);

$en25 = floor($input[1] / 4);

$en100 = floor($input[2] /10);

$en100Amari = $input[2] - $en100 * 10;

if($en1 > 0){
    $count += $en1;
}else{
    $count += $input[0];
}

if($en25 > 0){
    $count += $en25;
}else{
    $count += $input[1];
}

if($en100Amari > 0){
    $count += $enAmari;
}

if($input[2] <= 9){
    $count += $input[2];
}

echo $count."\n";