P
Initializing...
§2, pp. 94–95 — the solution rebuilt from the y*_ij has objective value LB · Prove2Me