#include <bits/stdc++.h>
int main() {
  int a, b, c, d, e = 0, f, g;
  scanf("%d", &a);
  scanf("%d", &b);
  scanf("%d", &c);
  while (1) {
    if (a >= 1 && b >= 2 && c >= 4) {
      e = e + 1;
      a = a - 1;
      b = b - 2;
      c = c - 4;
    }
    if (a < 1 || b < 2 || c < 4) break;
  }
  printf("%d", e * 7);
}
