loading SCIP...
10 44235 true
0 7 11 21 40 45 54 72 75 92