Large Language Models in SAT Reasoning | Synapse