loading SCIP...
9 39078 true
13 18 28 29 33 46 84 93 99