loading SCIP...
12 40047 true
2 8 12 17 19 21 52 72 75 76 77 98