loading SCIP...
9 37235 true
28 31 55 69 76 82 89 92 93