#include <bits/stdc++.h>
using namespace std;

int main() {
    vector<int> c(3);
    cin >> c[0] >> c[1] >> c[2];
    sort(c.begin(), c.end());
    int cnt = 0;
    while (1) {
        cnt += c[0];
        c[1] -= c[0];
        c[2] -= c[0];
        c[0] = 0;
        if (c[1] == 0 && c[2] >= 5) {
            c[1] += 1;
            c[2] -= 2;
        } else if (c[1] == 0 && c[2] <= 4)
            break;
        if (c[1] >= 3) {
            c[0] += 1;
            c[1] -= 2;
        } else if (c[1] <= 2 && c[2] >= 3) {
            c[0] += 1;
            c[2] -= 2;

        } else if (c[1] <= 2 && c[2] <= 2)
            break;
        sort(c.begin(), c.end());
    }
    cout << cnt << endl;
    return 0;
}