backtracking: verificacao adiante BK2