loading SCIP...
12 40015 true
12 25 26 44 45 47 53 69 71 78 86 93