loading SCIP...
8 37375 true
2 9 34 36 57 66 81 88