For which initial points (t0, x0) are you assured that the initial value problem dx/dt = ln(t² * x²), x(t0) = x0 has a unique solution?