loading SCIP...
11 42219 true
0 13 43 45 46 47 49 55 74 82 96