loading SCIP...
8 47547 true
8 9 34 37 48 58 87 99