loading SCIP...
13 31172 true
17 25 29 36 49 53 55 66 71 79 82 85 94