loading SCIP...
11 41078 true
0 7 9 15 17 37 43 58 74 81 93