#include<stdio.h>
int main(){
    int total=0,max=0,min=0;
    int i=0;
    int first=0;
    while(scanf("%d ",&first)!=EOF) 
    {
        total=first; //每次循环初始化总值
        max=first;
        min=first;
        int arr[7]={0};
        arr[0]=first;    //第一次输入的值给数组第一个元素
        for(int i=1;i<7;i++)
       {    //for循环输入第二个到第七个元素，同时计算最大，最小值和总值
            scanf("%d ",&arr[i]);
            total+=arr[i];
            if(arr[i]>max){max=arr[i];}
            if(arr[i]<min){min=arr[i];} 
        }  
        printf("%.2f\n",(total-max-min)/5.0);   
    }
}