* path of SolverStateAccessor