loading SCIP...
11 42375 true
29 39 40 44 46 54 57 60 68 82 99