loading SCIP...
8 48219 true
6 7 16 24 37 40 57 91