方程组 X+Y=3 的解满足 X>0