loading SCIP...
12 40875 true
6 17 23 34 38 50 63 81 84 85 87 91