[zypp-commit] <sat-solver> master : - use SOLVER_SOLUTION_DISTUPGRADE instead of replacing