loading SCIP...
23 21359 true
2 10 12 16 17 18 19 21 24 30 32 35 42 43 46 49 53 65 67 75 79 86 97