Trying to understand why the solver doesn't work as needed.