Solving using Elimination