Title: Beating the SAT