Reading list: SAT