我国古代数学家梅縠成的《增删算法统宗》中有题如下：一千官军一千布，一官四疋无零数.四军才分布一疋，请问官军多少数.其大意为：今有1000官兵分1000疋布，1官分4疋，4兵分1疋，请问官兵各几人?若设官x人，兵y人，依题意可列方程组为.