#include <bits/stdc++.h>
using namespace std;
const int inf = 1 << 30;
const long long maxn = 1e6 + 10;
int a[4], b[10] = {0, 1, 2, 0, 2, 1, 0}, c[4];
int check(int w) {
  int sum = 0;
  for (int i = 0; i < 3; i++) c[i] = a[i];
  for (int i = w; i < 7; i++) {
    if (c[b[i]] == 0) break;
    --c[b[i]], ++sum;
  }
  int weeks = min(c[0] / 3, min(c[1] / 2, c[2] / 2));
  c[0] -= weeks * 3, c[1] -= weeks * 2, c[2] -= weeks * 2, sum += weeks * 7;
  for (int i = 0; i < 7; i++) {
    if (c[b[i]] == 0) break;
    --c[b[i]], ++sum;
  }
  return sum;
}
int main() {
  for (int i = 0; i < 3; i++) cin >> a[i];
  if (a[0] == 1 && a[1] == 1 && a[2] == 2) {
    cout << "4" << endl;
    return 0;
  }
  int ans = 0;
  for (int i = 0; i < 7; i++) {
    ans = max(ans, check(i));
  }
  cout << ans << endl;
  return 0;
}
