#include <iostream>
#include <vector>
#include <algorithm>
#include <map>
#include <string>
#include <queue>
#include <stack>
#include <math.h>
#include <set>
#include <cstdio>
#define ALL(obj) (obj).begin(),(obj).end()
#define RALL(obj) (obj).rbegin(),(obj).rend()
#define P pair<int, int>

#define MOD 1000000007
#define INF 1012345678
#define NINF (-2147483647-1)
#define LLINF 9223372036854775807
using ll = long long;
using namespace std;

int main() {
    vector<int> RGB(3);
    int ans = 0;
    cin >> RGB[0] >> RGB[1] >> RGB[2];
    sort(ALL(RGB));
    ans += RGB[0];
    for (int i = 2; i >= 0; i--) { RGB[i] -= RGB[0]; }
    while (RGB[2] >= 3 && RGB[1] >= 1) {
        RGB[2] -= 3;
        RGB[1] -= 1;
        ans++;
        sort(ALL(RGB));
    }
    while (RGB[2] >= 5) {
        RGB[2] -= 5;
        ans++;
    }
    cout << ans << endl;
    getchar(); getchar();
    return 0;
}