I would like to obtain more than one solution with SCIP. Using SAT (cp_model.CpModel()) I can collect all the possible solutions, I would like to be able get the top N best solutions with SCIP, is it possible?