+ solve()