some tests with "no solution" problem