Consider unassigned NEIGHBORS of the newly-assigned variable, not all unassigned variables.