loading SCIP...
10 51657 true
11 17 32 34 58 67 68 72 80 92