loading SCIP...
10 27422 true
1 2 21 40 60 70 71 81 87 99