Title: Outsmarting the SAT