Solve() function