Running the Solver