Solve x y 1 xy 3