states: reworked SolverState (+test)
states: SdcSolverState (+tests)