0804 no_doubles added + backtracking cut added