add the solver3, edit README.md, some small tweaks