Improve the solver feedback for "unknown" solution states (no solution)
The solvers may return the “unknown” state where no solution was found, but the problem was not identified as unsolvable. Emit this knowledge to the user instead of failing silently.
(from redmine: issue id 3695, created on 2019-03-21, closed on 2019-04-03)