loading SCIP...
10 43500 true
0 7 23 27 29 32 36 74 79 81