[zypp-commit] <sat-solver> master : - make solvable jump work out of subsearches