Inserción de solver.