loading SCIP...
11 39438 true
0 7 8 10 22 33 34 70 72 77 94