add solve()