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