loading SCIP...
13 37890 true
2 13 21 22 29 31 37 39 47 49 56 93 95