loading SCIP...
9 50171 true
1 25 33 35 36 42 61 74 86