A, B, C = list(map(int, input().split()))

K = int(eval(input()))





def combinations(k):

    result = []

    for b in range(k + 1):

        for c in range(k + 1 - b):

            result.append([b, c])



    return result





def magic(A, B, C, K):

    if A < B < C:

        return True



    for l in combinations(K):

        a, b, c = A, B, C

        b_count, c_count = l

        if b_count > 0:

            b *= 2 ** b_count

        if c_count > 0:

            c *= 2 ** c_count



        if a < b < c:

            return True



    return False





if (magic(A, B, C, K)):

    print('Yes')

else:

    print('No')

A, B, C = list(map(int, input().split()))

K = int(eval(input()))





def combinations(k):

    result = []

    for b in range(k + 1):

        for c in range(k + 1 - b):

            result.append([b, c])



    return result





def magic(A, B, C, K):

    if A < B < C:

        return True



    for b_count, c_count in combinations(K):

        a, b, c = A, B, C

        if b_count > 0:

            b *= 2 ** b_count

        if c_count > 0:

            c *= 2 ** c_count



        if a < b < c:

            return True



    return False





if (magic(A, B, C, K)):

    print('Yes')

else:

    print('No')

A, B, C = list(map(int, input().split()))
K = int(eval(input()))


def combinations(k):
    result = []
    for b in range(k + 1):
        for c in range(k + 1 - b):
            result.append([b, c])
    return result


def magic(A, B, C, K):
    if A < B < C:
        return True
    for l in combinations(K):
        a, b, c = A, B, C
        b_count, c_count = l
        if b_count > 0:
            b *= 2**b_count
        if c_count > 0:
            c *= 2**c_count
        if a < b < c:
            return True
    return False


if magic(A, B, C, K):
    print("Yes")
else:
    print("No")

A, B, C = list(map(int, input().split()))
K = int(eval(input()))


def combinations(k):
    result = []
    for b in range(k + 1):
        for c in range(k + 1 - b):
            result.append([b, c])
    return result


def magic(A, B, C, K):
    if A < B < C:
        return True
    for b_count, c_count in combinations(K):
        a, b, c = A, B, C
        if b_count > 0:
            b *= 2**b_count
        if c_count > 0:
            c *= 2**c_count
        if a < b < c:
            return True
    return False


if magic(A, B, C, K):
    print("Yes")
else:
    print("No")

-    for l in combinations(K): +    for b_count, c_count in combinations(K): -        b_count, c_count = l