Satisfiability of Equality Equations

Each equation is of the form 'a==b' or 'a!=b' on lowercase variables. Print true if all equations can hold simultaneously.

1 <= n <= 500