loading SCIP...
48 109 true
1 4 5 6 10 11 13 16 18 19 21 22 25 26 28 31 35 37 43 44 45 46 47 48 52 53 54 55 58 59 65 66 67 68 69 71 73 74 77 82 84 86 87 88 90 93 98 99