<?php
$sum = explode(" ", trim(fgets(STDIN)));
$a = max($sum);
$b = min($sum);
$avr = array_sum($sum) - ($a + $b);
$ans =  $avr / 4;
echo sprintf('%.2f',$ans),PHP_EOL;