loading SCIP...
8 41875 true
25 32 38 41 57 68 84 96