Updated solver.