First commit.  Solver.