Backtrack from domains and constraints.