loading SCIP...
11 42157 true
1 22 40 47 55 66 72 80 88 91 97