solver, at least