1/2 + (1/2)*erf(-12 / sqrt(2))