loading SCIP...
10 44265 true
1 34 38 50 74 78 82 89 92 98