Add docstrings to sat solver.
Remove unnecessay copy in sat solver.