loading SCIP...
12 38187 true
0 3 7 26 27 35 43 46 74 88 90 93