ToySolver.Data.MIP.Solution.SCIP