#include <bits/stdc++.h>
using namespace std;
int main() {
  long long a, b, c, i, fuck = 0;
  scanf("%lld", &a);
  scanf("%lld", &b);
  scanf("%lld", &c);
  for (i = a; i >= 1; i--) {
    if ((2 * i) <= b && (4 * i) <= c) {
      fuck = 1;
      break;
    }
  }
  if (fuck == 0)
    printf("0\n");
  else
    printf("%lld ", i + 2 * i + 4 * i);
  return 0;
}
