Ultimos cambios en preliminares
Resolviendo conflictillo en cita minisat