x^2-12=-2*y^2