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

using namespace std;

int main(){

    vector<int> C(3);
    for(int i=0; i<3; i++){
        cin>> C[i];
    }

    sort(C.begin(), C.end());

    int cnt=0;
    while(C[0]>0){
        cnt++;
        C[0]--; C[1]--; C[2]--;
    }

    while(C[1]>0&&C[2]-2>0){
        C[1]--;
        C[2]-=3;
        cnt++;
        sort(C.begin(), C.end());
    }

    if(C[1]==0) cnt+=C[2]/5;

    cout<< cnt<< endl;

    return 0;
}