#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;
int main(){
    vector<int> list;
    int input,min;
    int ans;
    for(int i=0;i<3;i++){
        cin >> input;
        list.push_back(input);
    }
    sort(list.begin(),list.end(),greater<int>());
    ans = list[2];
    list[0] -= list[2];
    list[1] -= list[2];
    list.pop_back();
    while(list[0] >= 3 && list[1] >= 1){
        min = list[0]/3;
        if(min > list[1]) min = list[1];
        ans += min;
        list[0] -= 3*min;
        list[1] -= min;
        sort(list.begin(),list.end(),greater<int>());
    }
    ans += list[0]/5;
    cout << ans << endl;
    return 0;
}