9^(−5+x)=729 over the reals