loading SCIP...
10 42687 true
1 17 30 35 42 62 70 80 88 98