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

#ifdef LOCAL
#include <debug.hpp>
#else
#define debug(...)
#endif

int main() {
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    cout << fixed << setprecision(20);
    vector<int> S(6);
    for (int i = 0; i < 6; i++) cin >> S[i];
    int sum = reduce(S.begin(), S.end());
    sum -= *max_element(S.begin(), S.end());
    sum -= *min_element(S.begin(), S.end());
    sum *= 25;
    string ans = to_string(sum);
    while (ssize(ans) <= 2) ans = '0' + ans;
    ans.insert(ans.end() - 2, '.');
    cout << ans << '\n';
}