#include <bits/stdc++.h>
int main() {
  int a, b, c, i, s = 0;
  scanf("%d%d%d", &a, &b, &c);
  if (a > 0 && b > 1 && c > 3) {
    for (i = 1; i <= a; i++) {
      if (b > 1 && c > 3) {
        s = 7 * i;
      }
      b = b - 2;
      c = c - 4;
    }
    printf("%d", s);
  } else
    printf("0");
}
