#include <bits/stdc++.h>
using namespace std;
long long a, b, c;
long long cal(int sta, long long a, long long b, long long c) {
  long long ans = 0;
  for (int i = sta; i <= 7; i++) {
    if (i == 1 || i == 4 || i == 7) {
      if (a) {
        a--;
        ans++;
      } else
        return ans;
    } else if (i == 2 | i == 6) {
      if (b) {
        b--;
        ans++;
      } else {
        return ans;
      }
    } else {
      if (c) {
        c--;
        ans++;
      } else
        return ans;
    }
  }
  long long kk = min(a / 3, min(b / 2, c / 2));
  ans += kk * 7;
  a -= kk * 3;
  b -= kk * 2;
  c -= kk * 2;
  for (int i = 1; i <= 7; i++) {
    if (i == 1 || i == 4 || i == 7) {
      if (a) {
        a--;
        ans++;
      } else
        return ans;
    } else if (i == 2 | i == 6) {
      if (b) {
        b--;
        ans++;
      } else {
        return ans;
      }
    } else {
      if (c) {
        c--;
        ans++;
      } else
        return ans;
    }
  }
  return ans;
}
int main() {
  cin >> a >> b >> c;
  long long maxx = 0;
  int ans;
  for (int i = 1; i <= 7; i++) {
    if (cal(i, a, b, c) > maxx) {
      maxx = cal(i, a, b, c);
      ans = i;
    }
  }
  cout << maxx << endl;
  return 0;
}
