Satisfiabilité des Équations - Moyen Union Find