#include<stdio.h>
int main(int argc, char const *argv[])
{
int a[10]={};
int i,num=0,max,min;
for(i=0;i<10;i++)
{
scanf("%d",&a[i]);
num+=a[i];
}
max = min = a[0];
for(i=1;i<10;i++)
{
if(max<a[i])
max=a[i];
if(min>a[i])
min = a[i];
}
printf("%.2f\n",(num-max-min)/8.0);
return 0;
}