loading SCIP...
12 36250 true
12 14 29 30 40 77 78 81 82 89 93 94