#include <bits/stdc++.h>
int main() {
  int l, a, p, c, i, j, k;
  scanf("%d%d%d", &l, &a, &p);
  for (i = 1; i <= l; i++) {
    j = i * 2;
    k = i * 4;
    if (j > a || k > p) {
      i--;
      break;
    }
    if (i == l) break;
  }
  c = i * 7;
  printf("%d", c);
}
