loading SCIP...
11 43468 true
15 26 39 43 54 68 70 71 89 95 98