loading SCIP...
10 43593 true
0 8 31 32 39 44 45 60 86 94