#include<stdio.h>
int main()
{
int a[20],i,max,min,sum;
float aver;
sum=0;
for(i=0;i<20;i++)
scanf("%d",&a[i]);
max=a[0];
min=a[19];
for(i=1;i<20;i++)
{ if(max<a[i])
max=a[i];
}
for(i=18;i>=0;i--)
{ if(min>a[i]);
min=a[i];
}
for(i=0;i<20;i++)
{
sum=sum+a[i];
}
aver=(sum-max-min)/18;
printf("%0.2f\n",aver);
return(0);
}