What is the name of the domain?
What is the issue you’re encountering
How does DNS64 synthesize AAAA records
What feature, service or problem is this related to?
I don’t know
What are the steps to reproduce the issue?
How does DNS64 synthesize AAAA records? Where do we configure the WKP?