loading SCIP...
45 1031 true
2 4 7 8 10 11 12 15 16 17 18 21 22 33 34 35 36 37 38 39 40 44 45 46 48 49 55 57 58 61 64 66 69 74 77 78 85 87 90 91 92 95 97 98 99