x^2-y^2=3 and 2xy=8