Zeuge der Unbefriedigbarkeit für eine zufällige 3-Erfüllbarkeitsformel