Let y=yx be a solution of the differential equation, 1-x2dydx+1-y2=0,x<1. If y12=32, then y-12 is equal to