#include <stdio.h>
int main() {
int score = 0;
int max = 0;
int min = 100;
int count = 0;
int sum = 0;
while (scanf("%d", &score) != EOF)
{
if (score > max)
{
max = score;
}
if (score < min)
{
min = score;
}
sum += score;
count++;
if (count == 7)
{
float result = (sum - min - max) / 5.0;
printf("%.2f\n",result);
max = 0;
min = 100;
sum = 0;
count = 0;
}
}
return 0;
}

京公网安备 11010502036488号