#include<stdio.h>
int main()
{
int i=1;
double ave, score, sum, max, min;
max=-1;
min=11;
sum=0;
do
{
scanf("%lf", &score);
sum+=score;
if(max<score)
max=score;
if(min>score)
min=score;
i++;
}
while(i<=9);
ave = (sum-max-min)/7;
printf("%.3f\n", ave);
return 0;
}