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