Title: SAT Shortcuts