#include<stdio.h>
int main()
{
int arr[7],sum,max,min;
float avr;
while(scanf("%d",&arr[0])!=-1)
{
sum=arr[0];
max=arr[0];
min=arr[0];
for(int i=1;i<7;i++)
{
scanf("%d",&arr[i]);
if(arr[i]>max)
max=arr[i];
if(arr[i]<min)
min=arr[i];
sum+=arr[i];
}
avr=(sum-max-min)/5.0;
printf("%.2f\n",avr);
}
return 0;
}