The South Korean government will auction 216 BTCs.