Update README.md

Not finished yet.
Add some comments in sat solver.