Truly fixed solve()