loading SCIP...
15 37734 true
3 5 9 12 19 22 25 26 37 49 50 67 80 84 91