Started implementing solver.