#include <bits/stdc++.h>
using namespace std;
int main() {
  int a, b, c;
  cin >> a >> b >> c;
  int mini = a / 1;
  if ((b / 2) < mini) mini = b / 2;
  if ((c / 4) < mini) mini = c / 4;
  cout << mini * (1 + 2 + 4) << endl;
}
