loading SCIP...
50 110 true
1 2 3 7 8 10 11 13 15 16 17 19 20 21 23 24 27 31 32 33 35 37 38 39 40 46 47 49 52 54 59 61 62 65 67 68 70 72 73 74 75 77 81 85 86 89 91 96 97 98