So, on what exchange is this coin now? It was supposed to be added to one, yeah? I have mined a few and want to sell them.