#include <stdio.h>
int main() 
{
    int i,j;
    int score[7];
    while(scanf("%d %d %d %d %d %d %d",&score[0],&score[1],&score[2],&score[3],&score[4],&score[5],&score[6])!=EOF)
    {
        //排序后去掉极值
        int num = 7;
        int t;//过渡数字
        for(i = 0;i<num-1;i++)
        {
            for(j = i+1;j<num;j++)
            {
                if(score[i]>score[j])
                {
                    t = score[i];
                    score[i] = score[j];
                    score[j] = t;
                }
            }
        }//最小值在第一位,最大值在最后一位
        int sum = 0;
        for(i = 1;i<6;i++)
        {
            sum += score[i];
        }
        float result = sum/5.0;
        printf("%.2f\n",result);
    }
    return 0;
}