io = DATA.eof? ? STDIN : DATA
a,b,c=io.gets.split.map(&:to_i)
k=io.gets.to_i
def check(a,b,c)
  a<b && b<c
end

(k+1).times do |i|
  j=k-i
  if check(a,b*2**i,c*2**j)
     puts 'Yes'
     exit
  end
end
puts 'No'
__END__
