loading SCIP...
17 28766 true
1 5 6 18 19 29 33 37 39 40 58 59 70 78 84 87 99