#include <stdio.h>
int main() {
    int arr[7];
    while(~scanf("%d ",&arr[0]))
    {
        int max = -1;
        int min = 101;
        int sum = 0;
        for(int i = 1; i < 7; i++)
        scanf("%d ",&arr[i]);
        for(int i = 0; i < 7; i++)
        {
            if(arr[i] > max)
            max = arr[i];
            if(arr[i] < min)
            min = arr[i];
            sum+=arr[i];
        }
        printf("%.2lf\n",(sum-max-min)/5.0);
    }
    return 0;
}