Improved test coverage. One test runs sometimes, sometimes not
(testSolveFails)