#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  long long int a, b, c;
  cin >> a >> b >> c;
  long long int ans = min({a / 3, b / 2, c / 2});
  a -= ans * 3;
  b -= ans * 2;
  c -= ans * 2;
  ans *= 7;
  long long int A[] = {2, 1, 1, 2, 3, 1, 3, 2, 1, 1, 2, 3, 1, 3};
  long long int res = INT_MIN;
  for (int i = 0; i < 7; i++) {
    long long int a1 = a, b1 = b, c1 = c;
    long long int k = 0;
    for (int j = i; j < 14; j++) {
      if (A[j] == 1) {
        if (!a1) break;
        --a1;
      }
      if (A[j] == 2) {
        if (!b1) break;
        --b1;
      }
      if (A[j] == 3) {
        if (!c1) break;
        --c1;
      }
      k++;
    }
    res = max(res, k);
  }
  ans += res;
  cout << ans;
  return 0;
}
