1/(1-1/2 erfc(-(-50 + x)/(10 sqrt(2)))), x=51.3