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