loading SCIP...
42 1844 true
0 7 10 11 12 15 17 18 21 25 26 32 33 34 37 38 39 42 43 45 46 47 48 49 54 55 56 57 59 64 65 69 70 71 72 73 79 86 89 90 93 96