loading SCIP...
11 35156 true
17 27 35 39 46 49 52 53 74 83 92