loading SCIP...
42 1953 true
5 6 12 15 16 17 19 23 24 26 29 31 35 36 38 42 43 47 51 52 63 65 67 69 72 73 75 76 77 78 79 81 82 84 87 88 89 90 91 92 98 99