loading SCIP...
8 31907 true
17 19 29 58 65 80 89 98