loading SCIP...
10 44391 true
8 32 52 58 71 79 80 87 90 98