[zypp-commit] sat-solver : branch, code11, created.