loading SCIP...
10 43625 true
2 6 24 27 36 44 60 81 84 93