Typo in comment.
Add a comment.
On failure, report whether solver search was exhaustive.