Backtracking-search is really just a special case of backtracking-enumerate.
Don't need the ad-hoc backtrack.
Stop when the length of the enumeration equals n.