loading SCIP...
8 45453 true
8 11 17 33 35 37 85 97