loading SCIP...
19 27109 true
2 6 19 20 40 45 52 53 55 64 67 70 79 85 86 88 90 91 94