[zypp-devel] SAT solver flags for dist-upgrade ?