loading SCIP...
42 1610 true
9 11 14 15 16 18 19 22 25 26 29 30 32 34 35 36 37 38 42 44 46 54 55 58 62 63 66 68 69 72 75 77 81 82 84 86 90 91 94 96 98 99