Question: What is the enrollment at the university employing Paul Davies?
Answer: 72,000