#include <stdio.h>

int main() {
    int score[7];
    double avg=0;
    int min,max;
    //带数组的多组输入，以首元素为标志
    while(~scanf("%d ",&score[0])) 
    {
        //初始化
        min=score[0];
        max=score[0];
        avg+=score[0];
        //处理剩余元素
        for(int i=1;i<7;i++)
        {
            //输入
            scanf("%d ",score+i);
            //更新最值
             if(min>score[i])
            {
                min=score[i];
            }
            if(max<score[i])
            {
                max=score[i];
            }
            //更新和
            avg+=score[i];
        }
        avg=(avg-min-max)/5.0;
        printf("%.2lf\n",avg);
        avg=0;//没组数据完成后重置avg
    }
       
    return 0;
}