loading SCIP...
12 39578 true
1 4 6 17 26 35 44 51 64 81 82 91