Title: Learning to Speak SAT