loading SCIP...
44 1671 true
3 4 5 7 9 10 12 13 16 17 18 20 21 22 25 27 28 33 35 37 44 45 47 50 52 53 55 58 60 62 63 66 67 69 70 73 74 75 76 78 80 84 85 95