Constraint satisfaction in large language models | Synapse