Si no entran en jaque, se realiza una recurrencia en la cual incrementamos formula_11 (buscamos formula_25-prometedor) y añadimos la nueva fila, columna y diagonales al conjunto de restricciones.