loading SCIP...
11 41609 true
18 21 38 54 61 63 65 70 81 96 98