erfüllbarem: nicht gefunden