Added tests for solve(..)