/* -*- coding: utf-8 -*-
 *
 * 2175.cc:  No.2175 Exciting Combo - yukicoder
 */

#include<cstdio>
#include<algorithm>
 
using namespace std;

/* constant */

/* typedef */

/* global variables */

/* subroutines */

/* main */

int main() {
  int a1, a2, a3, b;
  scanf("%d%d%d%d", &a1, &a2, &a3, &b);
  
  int s = max(a3 * 3, a1 + a2 + a3 + b);
  printf("%d\n", s);
  return 0;
}