#include <bits/stdc++.h>
using namespace std;
int main() {
  int a, b, c, j = 0;
  cin >> a >> b >> c;
  for (int i = 1; i <= a; i++) {
    if (b >= 2 * i && c >= 4 * i) j++;
  }
  cout << j + 2 * j + 4 * j;
  return 0;
}
