loading SCIP...
12 37703 true
1 17 36 46 57 62 65 74 84 89 94 99