loading SCIP...
17 27750 true
15 16 19 26 27 39 42 54 59 65 72 75 79 84 88 95 97