def get_remain_time(a, b, c):
    if a == 0:
        return 0
    if b == 0:
        return 1
    if c == 0:
        return 2
    return 3


a, b, c = [int(input()) for _ in range(3)]
round_time = min(a, b, c // 2)
a -= round_time
b -= round_time * 2
c -= round_time
print(round_time * 4 + get_remain_time(a, b, c))