loading SCIP...
43 1938 true
2 5 6 12 13 17 24 25 26 27 29 30 31 32 33 34 39 40 42 45 48 49 50 51 52 55 58 59 61 63 68 70 75 79 83 86 87 91 92 94 97 98 99