1/2*erfc((72-77)/(10*sqrt(2)))