loading SCIP...
17 30250 true
9 14 18 19 20 21 34 51 57 60 66 67 69 73 82 84 95