loading SCIP...
10 43875 true
2 14 25 46 87 88 92 94 96 99