#include <bits/stdc++.h>
using namespace std;
int main() {
  int arr[3], mini;
  cin >> arr[0] >> arr[1] >> arr[2];
  mini = arr[0];
  arr[1] = arr[1] / 2;
  arr[2] = arr[2] / 4;
  for (int i = 1; i < 3; i++)
    if (arr[i] < mini) mini = arr[i];
  cout << mini + mini * 2 + mini * 4;
  return 0;
}
