loading SCIP...
27 12875 true
1 4 6 9 18 19 24 31 35 38 39 41 51 57 65 67 69 73 78 79 81 87 88 90 92 95 99