Let y=y(x) be a solution of the differential equation, √1−x2dydx+√1−y2=0,|x|<1. If y(12)=√32, then y(−1√2) is equal to: