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