loading SCIP...
48 110 true
1 4 5 6 8 18 19 22 24 25 29 36 38 41 42 43 44 45 47 48 50 51 52 54 56 58 61 63 65 66 70 71 73 74 76 77 78 79 80 81 84 87 88 92 93 96 97 99