Learning to Speak SAT