loading SCIP...
43 1171 true
3 7 8 9 10 11 13 15 23 25 28 29 30 32 33 38 42 43 46 49 50 52 55 56 63 64 66 67 68 75 76 77 79 81 82 84 85 87 89 90 95 96 97