Improve the "...is not solved" internal error to display something useful
Fixes #361
Fixes #321