[Bug 512449] New: satsolver: split up DEBIAN_SEMANTICS