loading SCIP...
10 41828 true
7 11 15 29 40 49 55 72 93 95