loading SCIP...
10 44531 true
2 19 22 57 62 71 77 85 87 93