SATformer: Transformers for SAT Solving