#include <stdio.h>
int main()
{
int i,d,max=0,min = 101,sum=0;
for(i=0;i<10;i++)
{
scanf("%d",&d);
sum += d;
if(d>max)
max = d;
if(d<min)
min = d;
}
printf("%.1f",(sum-max-min)/8.0);
return 0;
}