loading SCIP...
11 35812 true
5 27 30 46 48 70 75 86 88 91 93