loading SCIP...
13 37625 true
0 1 21 26 29 35 43 46 47 51 57 91 95