loading SCIP...
12 38359 true
14 25 27 37 50 55 59 70 74 78 82 98