loading SCIP...
11 40125 true
1 3 16 22 30 38 41 42 59 76 88