Can Transformers Reason Logically? A Study in SAT Solving