已知关于x y的二元一次方程组 X+2Y=4K