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

int main()
{
	vector<int> n( 6 );
	cin >> n[0] >> n[1] >> n[2] >> n[3] >> n[4] >> n[5];

	sort( n.begin(), n.end() );
	int ans = 0;
	for( int i = 1; i < 5; i++ ) {
		ans += n[i];
	}
	ans *= 100;
	ans /= 4;
	char d[16];
	sprintf( d, "%02d", ans % 100 );

	cout << ans / 100 << "." << d << endl;
}