#include <stdio.h>

int main()
{
    int n;
    while (scanf("%d", &n) != EOF)
    {
        int max = n;
        int min = n;
        int sum = n;

        for (int i = 1; i <= 6; i ++ )
        {
            int x;
            scanf("%d", &x);

            if (max < x) max = x;
            if (min > x) min = x;

            sum += x;
        }

        sum = sum - max - min;

        double res = sum / 5.0;

        printf("%.2lf\n", res);

    }
    

    return 0;
}