#include<stdio.h>
int main()
{
    int score[7],min,max,sum;
    while (scanf("%d %d %d %d %d %d %d",&score[0],&score[1],&score[2],
                &score[3],&score[4],&score[5],&score[6])!=EOF)
    {
        min=max=score[0];
        sum=0;
        for (int i=0;i<7;i++)
        {    
            min=score[i]<min?score[i]:min;
            max=score[i]>max?score[i]:max;
            sum+=score[i];
        }
        printf("%.2f\n",(sum-min-max)/5.0);
    }
    return 0;
}