loading SCIP...
49 109 true
1 3 8 14 16 17 19 23 26 32 33 34 35 37 38 39 41 47 48 51 52 53 56 57 59 60 61 63 64 65 67 68 70 73 75 76 77 79 84 85 88 90 91 93 94 96 97 98 99