#include <bits/stdc++.h>
#define REP(i,n) for(int i = 0; i < (int)(n); ++i)
using namespace std;
vector<int> S;

int main() {
    int R, G, B;
    cin >> R >> G >> B;
    S.push_back(R); S.push_back(G); S.push_back(B);
    sort(S.begin(),S.end());
    int ans = S[0];
    S[2] -= S[0];
    S[1] -= S[0];
    S[0] = 0;
    while(S[2]>=3 && S[1]>=1){
        S[2] -= 3;
        S[1] -= 1;
        ans += 1;
        if(S[2]<S[1]){
            int temp = S[2];
            S[2] = S[1];
            S[1] = temp;
        }
    }
    ans += S[2]/5;
    cout << ans << endl;
    return 0;
}