[zypp-commit] <sat-solver> master : - include satversion.h from pool.h