loading SCIP...
37 2546 true
0 3 6 7 8 9 10 11 12 18 24 25 27 33 34 42 50 51 57 62 65 67 68 69 72 73 75 78 83 86 87 88 89 91 94 96 97