Add information about SAT