1 - erf(6/sqrt(2))