1-(1-1/700e3)^80, 1/3e3