A equação log3 x=1+12logx2 3 tem duas raízes reais. O produto dessas raízes é