Title: Mastering the SAT