<?php
$scores = fgets(STDIN);
$score_list = explode(' ',$scores);
$total_score = 0;
$count = 0;
$answer = 0.00;

$exclude_num = max($score_list)+min($score_list);

foreach($score_list as $index => $score) {
    $total_score += $score;
    ++$count;
}

$answer = ($total_score-$exclude_num)/($count-2);
printf("%.2f",$answer);
?>