loading SCIP...
9 44312 true
2 18 39 54 59 61 65 71 95