// コメント修正して, 再提出.
#include <bits/stdc++.h>
using namespace std;

int main() {
    
    // 1. 入力情報取得.
    int color[3];
    cin >> color[0] >> color[1] >> color[2];
    
    // 2. アクセサリーを生成する(※石の種類が残り3種類と仮定).
    // -> 並び替えして, 個数が一番少ない色の石に合わせて, とりあえず, アクセサリーを生成.
    sort(color, color + 3);
    int ans = color[0];
    color[1] -= color[0];
    color[2] -= color[0];
    
    // 3. 石が無くなるまで繰り返し(※石の種類が残り2種類と仮定).
    int p = color[1];
    int q = color[2];
    while(1){
        if(p >= q && p > 2 && q > 0) ans++, p -= 3, q--;
        if(q > p  && p > 0 && q > 2) ans++, q -= 3, p--;
        // cout << p << " " << q << endl;
        // 残り2種類の石で, 0個となっている場合, 本処理中においては, アクセサリーを, 作れないはず.
        if(p == 0 || q == 0) break;
        // 残り2種類の石が, いずれも2個以下の場合, アクセサリーを, 作れないはず.
        if(p <= 2 && q <= 2) break;
    }
    
    // 4. 石が無くなるまで繰り返し(石の種類が残り1種類と仮定).
    // ex. 5 5 15 などのパターン.
    // -> アクセサリー は, 7個作れるはず.
    int r = max(p, q);
    while(1){
        // 毎回, 5個ずつ消費する形になるはず.
        if(r >= 5) ans++, r -= 5;
        if(r < 5)  break;
    }
    
    // 5. 出力.
    cout << ans << endl;
    return 0;
    
}