Approximating E-Unification (Part 1)