#include <bits/stdc++.h>
using namespace std;
const int INF = 0x3f3f3f3f;
const long long int LINF = 0x3f3f3f3f3f3f3f3fll;
int main() {
  int a, b, c;
  scanf("%d%d%d", &a, &b, &c);
  int ma = -1;
  int da = INF;
  da = min(da, (a - 3) / 3);
  da = min(da, (b - 2) / 2);
  da = min(da, (c - 2) / 2);
  int ans = 7 * da;
  a -= 3 * da;
  b -= 2 * da;
  c -= 2 * da;
  int a2 = a, b2 = b, c2 = c;
  for (int i = 0; i < 7; i++) {
    a = a2, b = b2, c = c2;
    int C = 0;
    for (int j = 0; j < 100; j++) {
      int eu = (i + j) % 7;
      if (eu == 0 or eu == 3 or eu == 6) a--;
      if (eu == 1 or eu == 5) b--;
      if (eu == 2 or eu == 4) c--;
      if (a == -1 or b == -1 or c == -1) break;
      C++;
    }
    ma = max(ma, C);
  }
  printf("%d\n", ans + ma);
  return 0;
}
