loading SCIP...
9 47297 true
2 32 39 57 64 75 78 85 96