#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;
using ll = long long;

int main(){
    vector<int> a(3);
    cin >> a[0] >> a[1] >> a[2];
    sort(a.begin() , a.end());
    int ans = a[0];
    a[1] -= a[0];
    a[2] -= a[0];
    a[0] = 0;
    int t = 10000000;
    //cout << a[0] << " : " << a[1] << " : " << a[2] << " : " << ans << endl;
    while(t--){
        if(a[2] >= 3 && a[1] >= 1){
            ans++;
            a[1] -= 1;
            a[2] -= 3;
        }else if(a[2] >= 5 && a[1] == 0){
            ans++;
            a[2] -= 5;
        }else{
            break;
        }
        sort(a.begin() , a.end());
        //cout << a[0] << " : " << a[1] << " : " << a[2] << " : " << ans << endl;
    }
    
    cout << ans << endl;
    return 0;
}