a, b, c = gets.split(" ").map(&:to_i)
k = gets.to_i

res = [[a, b, c]]
k.times do |i|
  res = res.flat_map{|r| [[r[0] * 2, r[1], r[2]], [r[0], r[1] * 2, r[2]], [r[0], r[1], r[2] * 2]]}
end

res.map do |r|
    if r[0] < r[1] && r[1] < r[2] then
      puts "Yes"
      return
    end
end

puts "No"
