loading SCIP...
17 31109 true
17 24 25 33 36 38 39 43 52 57 72 76 78 79 81 90 95