solver conflict