added test for Solve(...)