En este punto comienza la parte del algoritmo de ramificación y poda.