loading SCIP...
17 30281 true
1 10 11 21 29 36 39 41 49 52 59 69 83 84 87 88 89