loading SCIP...
13 39844 true
0 8 9 18 19 42 48 82 83 84 86 90 98