<?php
$i = fgets(STDIN);
$d=fgets(STDIN);
$s=fgets(STDIN);
$n1=0;
$n2=0;
$n3=0;
if($i/40>0){
$n1=$i/40;
}
if($d/25>0){
$n2=$d/25;
}
if($i/100>0){
$n1=$i/100;
$n1=ceil($n1);
}
echo $n1+$n2+$n3;
?>