solve x for erf(x) = 253/255