#include <bits/stdc++.h>
int main() {
  int r, g, b;
  std::scanf("%d%d%d", &r, &g, &b);
  int max = 0, min = std::min(std::min(r, g), b);
  for (int i = std::max(min - 2, 0); i <= min; ++i) {
    max = std::max(max, i + (r - i) / 3 + (g - i) / 3 + (b - i) / 3);
  }
  std::printf("%d\n", max);
  return 0;
}
