#include <stdio.h>

int main() {
    int arr[7];
    while (1) {
        for (int i = 0; i < 7; i++) {
            if (scanf("%d", &arr[i])!= 1) {
                return 0;
            }
        }
        int max = arr[0];
        int min = arr[0];
        int score = 0;
        for (int j = 0; j < 7; j++) {
            if (arr[j] > max) {
                max = arr[j];
            }
            if (arr[j] < min) {
                min = arr[j];
            }
            score += arr[j];
        }
        float a = (score - max - min) / 5.0;
        printf("%.2f\n", a);
    }
    return 0;
}