import java.io.InputStream;
import java.io.InputStreamReader;
import java.io.IOException;
import java.io.PrintWriter;
import java.util.ArrayDeque;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.Comparator;
import java.util.Deque;
import java.util.HashMap;
import java.util.HashSet;
import java.util.InputMismatchException;
import java.util.Map;
import java.util.PriorityQueue;
import java.math.BigDecimal;
import java.math.BigInteger;
    
public class Main{

static final InputStream in=System.in;
static final PrintWriter out=new PrintWriter(System.out);
static final int INF=Integer.MAX_VALUE/3;
static final long LINF=Long.MAX_VALUE/2;
static int MAX=30;
static int[] V,dp=new int[MAX+1];

public static void main(String[] args) throws IOException{
InputReader ir=new InputReader(in);
V=ir.toIntArray(4);
Arrays.fill(dp,INF);
dp[0]=0;
int ans=Integer.MAX_VALUE;
for(int A=1;A<=MAX;A++){
  for(int B=A+1;B<=MAX;B++){
    for(int C=B+1;C<=MAX;C++){
      for(int i=A;i<=MAX;i++){
        dp[i]=Math.min(dp[i],dp[i-A]+1);
      }
      for(int i=B;i<=MAX;i++){
        dp[i]=Math.min(dp[i],dp[i-B]+1);
      }
      for(int i=C;i<=MAX;i++){
        dp[i]=Math.min(dp[i],dp[i-C]+1);
      }
      int res=0;
      for(int i=0;i<4;i++) res+=dp[V[i]];
      ans=Math.min(ans,res);
    }
  }
}
out.println(ans);
out.flush();
}

static class InputReader {
private InputStream in;
private byte[] buffer=new byte[1024];
private int curbuf;
private int lenbuf;

public InputReader(InputStream in) {this.in=in;}
  
public int readByte() {
if(lenbuf==-1) throw new InputMismatchException();
if(curbuf>=lenbuf){
curbuf= 0;
try{
lenbuf=in.read(buffer);
}
catch (IOException e) {
throw new InputMismatchException();
}
if(lenbuf<=0)
return -1;
}
return buffer[curbuf++];
}

public boolean isSpaceChar(int c){return !(c>=33&&c<=126);}

private int skip() {int b; while((b = readByte())!=-1&&isSpaceChar(b)); return b;}

public String next() {
int b=skip();
StringBuilder sb=new StringBuilder();
while(!isSpaceChar(b)){
sb.appendCodePoint(b);
b=readByte();
}
return sb.toString();
}
 
public int nextInt() {
int c=readByte();
while (isSpaceChar(c)) c=readByte();
boolean minus=false;
if (c=='-') {
minus=true;
c=readByte();
}
int res=0;
do{
if(c<'0'||c>'9') throw new InputMismatchException();
res=res*10+c-'0';
c=readByte();
}while(!isSpaceChar(c));
return (minus)?-res:res;
}

public long nextLong() {
int c=readByte();
while (isSpaceChar(c)) c=readByte();
boolean minus=false;
if (c=='-') {
minus=true;
c=readByte();
}
long res = 0;
do{
if(c<'0'||c>'9') throw new InputMismatchException();
res=res*10+c-'0';
c=readByte();
}while(!isSpaceChar(c));
return (minus)?-res:res;
}

public double nextDouble(){return Double.parseDouble(next());}

public BigInteger nextBigInteger(){return new BigInteger(next());}

public int[] toIntArray(int n){
int[] a=new int[n];
for(int i=0;i<n;i++) a[i]=nextInt();
return a;
}
}
}