Which is unique up to renaming of variables?

• A. Unifier
• B. Most general unifier
• C. Unifier & Most general unifier
• D. None of the mentioned