Unified Models for SAT Preparation