// C++で書いたのに、Rubyより遅い気がする。

#include <iostream>
#include <algorithm>
using namespace std;

int main() {
  const int N = 3;
  int ns[N];
  cin >> ns[0] >> ns[1] >> ns[2];
  sort(ns, ns + N);

  int ans = 0;
  int mk;

  // [1, 1, 1]から1個を作る。
  mk = ns[0];
  ns[0] -= mk;
  ns[1] -= mk;
  ns[2] -= mk;
  ans += mk;

  // [0, 1, 3]から1個を作る。
  // ただし、ns[1] <= ns[2]は維持する。
  mk = min((ns[2] - ns[1]) / 2, ns[1]);
  ns[1] -= mk;
  ns[2] -= mk * 3;
  ans += mk;

  // [0, 4, 4]から2個を作る。
  mk = min(ns[1] / 4, ns[2] / 4) * 2;
  ns[1] -= mk * 2;
  ns[2] -= mk * 2;
  ans += mk;

  // [0, 0, 5]から1個を作る
  mk = ns[2] / 5;
  ns[2] -= mk * 5;
  ans += mk;

  // [0, 1 ,3]から1個を作る
  mk = ns[1] >= 1 && ns[2] >= 3 ? 1 : 0;
  ns[1] -= mk;
  ns[2] -= mk * 3;
  ans += mk;

  cout << ans << endl;
}