The devs promised they will be selling the coins they got from C-CCEX once again. When can we expect it and at what price? Will they be simply threw at the market? How many coins will be for sale?