loading SCIP...
11 38516 true
1 11 22 29 49 56 71 80 90 93 94