erfüllbarer: nicht gefunden