(1/9)^(x−13)= 3 over the reals