loading SCIP...
42 1844 true
1 2 4 8 11 13 14 15 16 17 21 25 26 28 31 36 37 40 41 42 43 51 53 56 57 59 60 61 63 68 70 71 75 76 80 81 82 85 88 90 91 93