[zypp-commit] sat-solver : branch, SuSE-Code-11-Branch, updated.