a, b, c = gets.split.map(&:to_i)
k = gets.to_i
[0, 1, 2].repeated_combination(k).each do |p|
  red = a * 2 ** p.count(0)
  green = b * 2 ** p.count(1)
  blue = c * 2 ** p.count(2)
  if red < green && green < blue
    puts 'Yes'
    exit 0
  end
end
puts 'No'
