解方程组(1式X+Y=7)(2式XY=12)的解集?