loading SCIP...
8 39203 true
2 10 19 23 33 37 58 62