States have been identified Solver, now going ahead to code the individual Solver States