結果 : linear programming must have integer solutions