Correcciones para la ejecucion del solver