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