loading SCIP...
12 36125 true
18 22 25 43 49 55 66 80 82 83 96 97