loading SCIP...
11 45985 true
11 29 55 59 67 71 76 80 82 89 97