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

int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
 
    vector<int> V(4);
    for(auto &v : V) cin >> v;
    int answer = 1001001001;
    for(int a=1; a<=30; a++) for(int b=a+1; b<=30; b++) for(int c=b+1; c<=30; c++){
        vector<int> dp(31,101001001);
        dp.at(0) = 0;
        for(int i=0; i<30; i++){
            if(i+a <= 30) dp.at(i+a) = min(dp.at(i+a),dp.at(i)+1);
            if(i+b <= 30) dp.at(i+b) = min(dp.at(i+b),dp.at(i)+1);
            if(i+c <= 30) dp.at(i+c) = min(dp.at(i+c),dp.at(i)+1);
        }
        int now = 0;
        for(auto v : V) now += dp.at(v);
        answer = min(answer,now);
    }
    cout << answer << endl;
}