loading SCIP...
12 39078 true
3 7 9 17 25 38 49 50 51 61 67 85