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