import sys

import numpy as np

import math

import collections

import copy

from collections import deque 

from functools import reduce

from itertools import product



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

K = int(eval(input()))

for p in product((1, 2, 3), repeat=K):

    R, G, BL = A, B, C

    for pi in p:

        if pi == 1:

            R *= 2

        if pi == 2:

            G *= 2

        if pi == 3:

            BL *= 2

    if R < G < BL:

        print("Yes")

        break

else:

    print("No")

















































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

K = int(eval(input()))

r, g, b = A, B, C

cnt = 0

while(r >= g):

    cnt += 1

    g *= 2

while(g >= b):

    cnt += 1

    b *= 2

if cnt <= K:

    print("Yes")

else:

    print("No")    

    
import sys
import numpy as np
import math
import collections
import copy
from collections import deque
from functools import reduce
from itertools import product

A, B, C = list(map(int, input().split()))
K = int(eval(input()))
for p in product((1, 2, 3), repeat=K):
    R, G, BL = A, B, C
    for pi in p:
        if pi == 1:
            R *= 2
        if pi == 2:
            G *= 2
        if pi == 3:
            BL *= 2
    if R < G < BL:
        print("Yes")
        break
else:
    print("No")

A, B, C = list(map(int, input().split()))
K = int(eval(input()))
r, g, b = A, B, C
cnt = 0
while r >= g:
    cnt += 1
    g *= 2
while g >= b:
    cnt += 1
    b *= 2
if cnt <= K:
    print("Yes")
else:
    print("No")

-import sys -import numpy as np -import math -import collections -import copy -from collections import deque -from functools import reduce -from itertools import product - -for p in product((1, 2, 3), repeat=K): -    R, G, BL = A, B, C -    for pi in p: -        if pi == 1: -            R *= 2 -        if pi == 2: -            G *= 2 -        if pi == 3: -            BL *= 2 -    if R < G < BL: -        print("Yes") -        break +r, g, b = A, B, C +cnt = 0 +while r >= g: +    cnt += 1 +    g *= 2 +while g >= b: +    cnt += 1 +    b *= 2 +if cnt <= K: +    print("Yes")