loading SCIP...
25 19391 true
1 5 11 14 19 25 33 34 35 37 42 43 46 51 52 62 65 66 70 72 75 80 82 89 99