loading SCIP...
12 39203 true
2 9 17 18 20 21 26 34 39 53 65 86