loading SCIP...
11 42437 true
2 7 22 59 64 75 84 91 92 96 97