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