loading SCIP...
10 44187 true
12 15 27 37 66 72 75 84 93 98