Can It Actually Work? Synthesizing Functional CAD Mechanisms — ThinkLLM