def lscan; gets.split.map(&:to_i); end

a, b, c = lscan
k = gets.to_i
(0..k).to_a.repeated_permutation(3) do |x,y,z|
  next if x+y+z > k
  a2 = a*(2**x)
  b2 = b*(2**y)
  c2 = c*(2**z)
  if a2 < b2 && b2 < c2
    puts 'Yes'
    exit
  end
end
puts 'No'