r,g,b = gets.strip.split.map(&:to_i)
k = gets.strip.to_i
#g * 2** gg > r
#b * 2** bb > gn
#gg+bb <= k
#gg = log2(r/g) = log2(r) - log2(g)

c = 0
while g <= r
  g *= 2
  c += 1
end
while b <= g
  b *= 2
  c += 1
end
if c > k
  puts "No"
else
  puts "Yes"
end
