some more solvers working, and some others improved :-)