loading SCIP...
8 38437 true
4 15 27 35 46 68 77 90