loading SCIP...
38 3282 true
2 5 6 7 9 10 17 18 19 21 22 23 25 32 33 35 39 43 47 48 49 50 54 64 65 67 68 69 72 77 83 84 87 88 95 97 98 99