[zypp-devel] Enabled distupgrade of the SAT solver