For the differential equation (2x/(1+y)+3x²) dx + (-x²/(1+y)²+2y) dy = 0 on y>-1 with initial condition y(0)=1, which option gives an implicit solution and correctly states whether it satisfies the initial condition?