loading SCIP...
9 44844 true
3 8 15 22 28 67 78 84 85