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