#include <bits/stdc++.h>
using namespace std;

int main() {
    vector<double> s(6);
    for (int i = 0; i < 6; i++) {
        cin >> s.at(i);
    }
    sort(s.begin(), s.end());
    double ans = 0.0;
    for (int i = 1; i <= 4; i++) {
        ans += s.at(i);
    }
    ans /= 4.0;
    printf("%5.2f\n", ans);
}