I have mined one. I was extremelyuxky I think, took something like 4 days on 4 cores of a server.
 nostr:npub1h0dlpvhtfta32xjas0hepa4dq3thhwncf5kd94j8u6dfugfzzwlsjccamp