loading SCIP...
9 37421 true
9 10 26 30 44 61 82 88 92