loading SCIP...
12 42406 true
0 6 7 18 32 46 56 59 62 63 76 88