loading SCIP...
13 36953 true
2 5 14 37 40 46 68 70 71 82 84 97 99