Do we know how much token dollars it took to solve?