#include <iostream>
#include <iomanip>

typedef long long ll;

int main(void)
{
  std::cin.tie(0);
  std::ios::sync_with_stdio(false);
  std::cout << std::fixed << std::setprecision(2);
  ll r, g, b;
  std::cin >> r >> g >> b;
  ll ans = std::min(r, std::min(g, b));
  ll h = std::max(r, std::max(g, b));
  ll m = r+g+b-ans-h;
  h-=ans; m-=ans;
  while (true) {
    if (m == 0 && h >= 5) {ans++; h-=5; continue;}
    if (m > 0 && h >= 3) {
      ans++; h-=3; m--;
      if (h < m) {ll tmp = h; h = m; m = tmp;}
      continue;
    }
    break;
  }
  std::cout << ans << std::endl;
  return 0;
}