Pseudo do backTracker para o resolvedor