loading SCIP...
9 40234 true
28 40 42 46 53 60 73 82 92