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

int main() {
    
    // 1. 入力情報取得.
    int color[3];
    cin >> color[0] >> color[1] >> color[2];
    
    // 2. アクセサリーを生成する.
    // -> 並び替えして, 一番少ない色の石の個数で, とりあえず, アクセサリーを生成.
    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;
        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;
    }
    
    // 4. 出力.
    cout << ans << endl;
    return 0;
    
}