#include <stdio.h>
int main() {
int arr[7];
while(~scanf("%d ",&arr[0]))
{
int max = -1;
int min = 101;
int sum = 0;
for(int i = 1; i < 7; i++)
scanf("%d ",&arr[i]);
for(int i = 0; i < 7; i++)
{
if(arr[i] > max)
max = arr[i];
if(arr[i] < min)
min = arr[i];
sum+=arr[i];
}
printf("%.2lf\n",(sum-max-min)/5.0);
}
return 0;
}

京公网安备 11010502036488号