loading SCIP...
13 36156 true
9 17 18 41 45 62 67 72 74 82 83 88 90