REFACTOR: mudança na lógica fundamental do loop
REFACTOR: independência do backtracking sem podas da lista de valores remanescentes

"If there is no struggle, there is no progress."    –– Frederick Douglass