loading SCIP...
42 860 true
0 2 4 6 9 10 14 15 16 18 21 28 29 30 31 32 34 35 37 38 40 42 44 47 50 51 53 56 60 65 66 67 69 70 71 73 75 81 92 93 98 99