loading SCIP...
12 39984 true
0 21 36 45 51 62 65 67 82 83 94 97