#include <bits/stdc++.h>
using namespace std;
int main(){
    float s[7],total=0;
    for(int i=0; i < 6; i++) cin >> s[i];
    sort(s, s+7);
    for(int i=1; i < 5; i++) total += s[i];
    printf("%.2f", total / 4);
}