Could you please reformulate this claim as a self-contained reproducible task, like this: "Given a system of linear inequalities A*x <= B and objective function C, I expect the optimal solution V attained with x = X, with all A, B, C, V and X specified as rationals or integers." Then we c...