#include #include #include #include #include #include #include #include #include #include #include using namespace std; using namespace atcoder; typedef long long ll; #define rep(i,n) for (int i = 0; i < int(n);i++) int main(){ int a,b,c,d; cin >> a >> b >> c >> d; cout << max(a+b+c+d,c*3) << endl; return 0; }