#include<bits/stdc++.h>
using namespace std;

#define int long long

typedef long long ll;
typedef pair<int,int>pint;
typedef vector<int>vint;
typedef vector<pint>vpint;
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define ln <<endl
#define all(v) (v).begin(),(v).end()
#define rep(i,n) for(int i=0;i<(n);i++)
#define reps(i,f,n) for(int i=(f);i<(n);i++)
#define each(it,v) for(__typeof((v).begin()) it=(v).begin();it!=(v).end();it++)
template<class T,class U>void chmin(T &t,U f){if(t>f)t=f;}
template<class T,class U>void chmax(T &t,U f){if(t<f)t=f;}

int V[4];
int a[3];
int dp[50];

int calc(){
    fill_n(dp,50,114514);
    dp[0]=0;
    rep(i,50){
        rep(j,3){
            if(i+a[j]<50)chmin(dp[i+a[j]],dp[i]+1);
        }
    }

    int tmp=0;
    rep(i,4)tmp+=dp[V[i]];
    return tmp;
}

signed main(){
    rep(i,4)cin>>V[i];
    int ans=114514;
    rep(i,30)rep(j,30)rep(k,30){
        a[0]=i+1;a[1]=j+1;a[2]=k+1;
        chmin(ans,calc());
    }
    cout<<ans<<endl;
    return 0;
}