https://123dok.net/document/z3dxd88e-valid-inequalities-and-input-ordering.html