loading SCIP...
11 39828 true
9 25 26 33 39 46 48 63 69 70 87