loading SCIP...
49 109 true
1 3 6 12 13 14 17 18 19 20 23 25 26 30 33 34 36 37 41 43 44 45 46 50 53 56 58 59 60 65 68 72 73 76 77 78 79 80 81 82 83 84 85 86 90 92 94 96 97