Work on Solver class, create InterState.