erfüllbar: nicht gefunden