Implement and test solving subsequent conflicts.