已知xy满足约束条件x -y-1目标函数z=ax by最小值25