loading SCIP...
23 17906 true
0 3 6 8 19 25 29 39 46 48 49 55 56 61 67 69 70 79 80 87 88 89 90