erfc(12.5)=6.231942781979911006139549129*10^(-70)