more on solver, not finished yet.