def gs() gets.chomp end
def gi() gets.to_i end
def gsmi() gets.chomp.split.map(&:to_i) end
def debug(k,v) puts "#{k}: #{v}" end
def desc(ar) ar.sort!{|x,y|y<=>x} end
def min(a,b) a<=b ? a : b end
def max(a,b) a>=b ? a : b end
def sum(ar) ar.inject(:+) end
a,b,c = gsmi
k = gi

k.times do
  if (a>=b)
    b*=2
  elsif b>=c
    c*=2
  end
end

puts (a<b&&b<c) ? 'Yes' : 'No'
