loading SCIP...
18 33171 true
2 4 10 30 33 41 42 46 57 59 70 76 81 84 92 93 96 97