loading SCIP...
8 30609 true
6 27 31 35 37 62 73 97