loading SCIP...
11 37109 true
16 25 34 35 44 66 76 89 92 93 94