updated: añadido clausulas minimo y maximo por celda.

todo: añadir las dnf al vector y pasarlas a cnf