#!/usr/bin python3

# -*- coding: utf-8 -*-



RGB_ = list(map(int, input().split()))

K = int(eval(input()))



from itertools import product

L = list(product(list(range(3)), repeat=K))

for l in L:

    RGB=RGB_[:]

    for i in l:

        RGB[i] = RGB[i]*2

        if RGB[2]>RGB[1]>RGB[0]:

            print('Yes')

            exit()

print('No')

#!/usr/bin python3

# -*- coding: utf-8 -*-



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

K = int(eval(input()))

ret = 0

while B<=A:

    B *= 2

    ret += 1

while C<=B:

    C *= 2

    ret += 1

if ret <=K:

    print('Yes')

else:

    print('No')

#!/usr/bin python3
# -*- coding: utf-8 -*-
RGB_ = list(map(int, input().split()))
K = int(eval(input()))
from itertools import product

L = list(product(list(range(3)), repeat=K))
for l in L:
    RGB = RGB_[:]
    for i in l:
        RGB[i] = RGB[i] * 2
        if RGB[2] > RGB[1] > RGB[0]:
            print("Yes")
            exit()
print("No")

#!/usr/bin python3
# -*- coding: utf-8 -*-
A, B, C = list(map(int, input().split()))
K = int(eval(input()))
ret = 0
while B <= A:
    B *= 2
    ret += 1
while C <= B:
    C *= 2
    ret += 1
if ret <= K:
    print("Yes")
else:
    print("No")

-RGB_ = list(map(int, input().split())) +A, B, C = list(map(int, input().split())) -from itertools import product - -L = list(product(list(range(3)), repeat=K)) -for l in L: -    RGB = RGB_[:] -    for i in l: -        RGB[i] = RGB[i] * 2 -        if RGB[2] > RGB[1] > RGB[0]: -            print("Yes") -            exit() -print("No") +ret = 0 +while B <= A: +    B *= 2 +    ret += 1 +while C <= B: +    C *= 2 +    ret += 1 +if ret <= K: +    print("Yes") +else: +    print("No")