Working on solver.