can you write the solution clearly!!

Question 3

Consider the following pair of expressions: lives_in(X, athabasca_town, works_in(X, athabasca_university)) lives_in(karen, Y, works_in(X, Z)) Try to unify this pair of expressions; then either show the most general unifier or explain why they will not unify.