loading SCIP...
12 41328 true
12 13 24 28 30 39 49 54 68 77 87 95