100 - 15 Sqrt[2] InverseErfc[2 * 0.842]