loading SCIP...
11 41344 true
2 6 9 12 22 57 64 66 76 89 91