najsplošnejši unifikator

Zanima kako se reši naloga:

Poiscite najsplosnejsi uni kator na mnozici treh elementov:
{R[f(w), z, g(B, y)]; R[f(x), z, g(B, C)]; R[f(x), z, g(B, y)]}.

Naredil sem substituciji za prvi in drugi element:

s1 = {x/w}
s2 = {g(B,y)/g(B,C)}

Kako pa iz tega dobim najsplošnejši unifikator?

hvala,
LP