loading SCIP...
9 46141 true
5 25 41 46 49 73 93 96 98