loading SCIP...
65 63 true
2 5 7 8 9 11 14 16 17 18 19 20 21 22 23 24 28 29 30 31 33 34 36 37 38 39 40 42 43 44 45 46 48 49 50 52 53 54 57 58 59 60 61 64 65 66 67 71 74 75 76 77 82 84 85 87 88 90 91 92 94 95 97 98 99