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


signed main(){
    vector<int> v(3),w(3),u(3);
    for(int i=0;i<3;i++)cin>>v[i];
    for(int i=0;i<3;i++)u[i]=(v[i]+v[(i+1)%3])*2;
    sort(u.begin(),u.end());
    for(int i=0;i<3;i++)cin>>w[i];
    sort(w.rbegin(),w.rend());
    cout<<u[0]*w[0]+u[1]*w[1]+u[2]*w[2]<<endl;
}