Add tests and debug logging to find no solutions issue.