loading SCIP...
17 31141 true
2 8 10 12 17 28 39 40 49 51 76 80 84 91 95 98 99