Updated the SAT document. Need to add more information about algorithms and discussion of the competitors.