If this case is expected to be uncommon, then it might be nice to add `logger.info(...)` to make debugging issues easier, and the user aware that a less \<insert adjective here\> solver is being used. Same for the one below.