#include <stdio.h>
#include <stdlib.h>
int min(int a, int b)
{
  if (a < b) {
    return a;
  } else {
    return b;
  }
}
int main()
{
  int V[4];
  int i;
  for (i=0; i<4; i++) scanf("%d", &(V[i]));

  int Vmax = 0;
  for (i=0; i<4; i++) if (Vmax < V[i]) Vmax = V[i];
  int *dp = (int*)malloc(sizeof(int)*(Vmax+1));
  int A;
  int B;
  int C;
  int total;
  int totalmin = Vmax*4+1;
  int j;
  for (A=1; A<=Vmax; A++) {
    for (B=1; B<=A; B++) {
      for (C=1; C<=B; C++) {
        total = 0;
        for (i=0; i<4; i++) {
          for (j=0; j<=Vmax; j++) dp[j] = Vmax+1;
          dp[0] = 0;
          for (j=0; j<=V[i]; j++) {
            if (j-A >= 0) {
              dp[j] = min(dp[j-A]+1, dp[j]);
            }
            if (j-B >= 0) {
              dp[j] = min(dp[j-B]+1, dp[j]);
            }
            if (j-C >= 0) {
              dp[j] = min(dp[j-C]+1, dp[j]);
            }
          }
          if (dp[V[i]] == Vmax+1) {
            total = Vmax*4+1;
            break;
          } else {
            total += dp[V[i]];
          }
        }
        if (total < totalmin) totalmin = total;
      }
    }
  }
  printf("%d\n", totalmin);
  return 0;
}