#include <bits/stdc++.h>
using namespace std;
int a[100001];
int main() {
  ios::sync_with_stdio(0);
  long long int n, m, t;
  cin >> n >> m >> t;
  int ans = min(min(n, m / 2), t / 4);
  cout << ans + ans * 2 + ans * 4;
}
