loading SCIP...
25 16938 true
2 7 9 20 29 32 34 36 37 38 40 41 53 57 68 75 78 79 84 85 87 88 89 96 97