just `return solver.solve()`