loading SCIP...
25 13187 true
2 4 5 6 8 10 12 13 16 19 23 24 28 29 33 41 45 50 54 59 67 72 78 84 85