loading SCIP...
41 2266 true
5 10 11 13 14 16 18 20 23 25 30 31 36 42 43 46 48 50 52 54 57 58 63 64 66 68 69 71 72 75 77 78 79 80 82 83 87 91 93 95 99