loading SCIP...
44 531 true
2 3 9 10 14 17 20 21 22 24 28 29 30 31 34 35 37 40 41 42 43 45 47 53 54 59 63 64 66 67 72 75 80 81 83 84 85 87 88 89 91 95 98 99