@HappyFace já esclareceu lá em cima: os dados do “Total em circulação” do Explorer não incluem (mais) os Nucoins no pool. Ou seja, pra saber quantos Nucoins estão livres nas carteiras dos usuários, basta subtrair dos NCN em Circulação os congelados.
Neste momento temos:
Em circulação: 3.934.278.661,00
Congelados: 1.775.513.917,48
Livres: 2.158.764.743,52
E, no pool temos:
643.763.828,39 NCN
R$ 35.229.190,36
Portanto, a constante do pool neste instante está em 2,267928E+16
Eu tentei, mas não entendi esse raciocínio 
Se todo o mundo resolver vender os seus NCN livres, se desconsiderarmos os fees recolhidos pelo pool, a constante do pool tem que ser a mesma após a operação.
Assim, se o pool que está com 643.763.828,39 NCN receber os 2.158.764.743,52 NCN que estão livres nas carteiras dos usuários, o pool vai terminar com 2.802.528.571,91 NCN.
Para mantermos o “K”, o pool vai fechar ao final dessa operação com R$ 8.092.434,34.
Ou seja, os 2.158.764.743,52 NCN terão sido vendidos por R$ 27.136.756,02 (um preço médio de R$ 0,01257050), e a cotação ao final serão os R$ 8.092.434,34 do pool divididos pelos 2.802.528.571,91 NCN do pool, ou seja, R$ 0,00288755.
O resultado é aproximado em razão de ter sido desconsiderado o fee cobrado pelo pool.