The set union problem with unlimited backtracking