loading SCIP...
9 37031 true
7 13 20 37 53 58 60 69 93