loading SCIP...
42 2719 true
2 10 11 13 14 21 25 26 29 31 34 36 41 43 45 46 48 59 62 63 67 68 70 71 72 73 76 77 78 79 82 83 87 88 91 92 93 94 95 96 98 99