loading SCIP...
36 3328 true
1 4 6 11 12 13 14 15 16 20 27 28 29 30 36 40 42 44 45 47 50 52 56 58 59 65 74 75 80 84 85 87 90 92 93 98