loading SCIP...
8 27750 true
8 19 25 31 40 45 53 80