loading SCIP...
11 26188 true
3 5 19 25 30 46 53 56 74 81 90