Title: Secrets from the Vault of an SAT Geek