#include "bits/stdc++.h"
using namespace std;
#define fastcin {\
    cin.tie(0);\
    ios::sync_with_stdio(false);\
}
#define print(x) cout << x << "\n"
#define SORT(a, n) sort(a, a+n);

int main() {
    fastcin;
    int c[3], ans = 0, a, b;
    cin >> c[0] >> c[1] >> c[2];
    SORT(c, 3);
    ans = c[0];
    c[1] -= c[0]; c[2] -= c[0]; c[0] = 0;
    while((c[1]>0&&c[2]>2)||(c[1]>2&&c[2]>0)) {
        ans++;
        if(c[1]>c[2]) {
            c[1] -= 3;
            c[2] -= 1;
        } else {
            c[1] -= 1;
            c[2] -= 3;
        }
    }
    SORT(c, 3);
    b = c[2]/5;
    ans += c[2]/5;
    c[2] -= b*5;
    printf("%d\n", ans);
    return 0;
}