log3(3^x-1)*log3(3^(x+1)-3)=12 , reals