#include<stdio.h>
int main()
{
int score[7]={0};
int i;
int max,min;
int sum;
double r;
while(scanf("%d %d %d %d %d %d %d",&score[0],&score[1],&score[2],&score[3],&score[4],&score[5],&score[6])!=EOF)
{
max=0;
min=999;
sum=0;
for(i=0;i<7;i++)
{
if(score[i]>max)
{
max=score[i];
}
if(score[i]<min)
{
min=score[i];
}
sum=sum+score[i];
}
r=(sum-max-min)/5.0;
printf("%.2lf\n",r);
sum=0;
}
return 0;
}