loading SCIP...
7 45984 true
21 35 41 57 79 95 97