If a satisfying assignment is found, it is stored immediately.