#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;
}