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

#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define rrep(i,n) for(int i=(int)(n-1);i>=0;i--)
#define ALL(v) v.begin(),v.end()
#define RALL(v) v.rbegin(),v.rend()
template <class T> using V=vector<T>;
template <class T> using VV=V<V<T>>;
using u128=__int128_t;
using ll=long long;
 
int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  V<int> S(6);
  rep(i,6) cin>>S[i];
  sort(ALL(S));
  int sum=0;
  for(int i=1;i<5;i++) sum+=S[i];
  sum*=25;
  cout<<setfill('0')<<sum/100<<'.'<<setw(2)<<sum%100<<endl;
  
  return 0;
}