Outsmarting the SAT