<?php
$l = trim(fgets(STDIN));
$m = trim(fgets(STDIN));
$n = trim(fgets(STDIN));
if($n >= 25){
$a = floor($n / 25);
$n -= $a * 25;
$m += $a;
}
if($m >= 4){
$b = floor($m / 4);
$m -= $b * 4;
$l += $b;
}
if($l >=10){
$c = floor($l / 10);
$l -= $c * 10;
}
echo $l + $m + $n."\n";