Add some comments in sat solver.