loading SCIP...
18 31344 true
2 6 22 28 34 36 43 47 52 53 59 64 69 72 73 76 79 84