int main()
{
    int a, b, c;
    cin >> a >> b >> c;
    if(a - min(a, c, b/2) == 0)
      cout << 4 * min(a, c, b/2);
    else
    if(b - 2 * min(a, c, b/2) == 0)
      cout << 1 + 4 * min(a, c, b/2);
    else
    if(c - min(a, c, b/2) == 0)
      cout << 2 + 4 * min(a, c, b/2);
    else
      cout << 3 + 4 * min(a, c, b/2);
    return 0;
}