Verify other device can ping that server or not.
Verify the connectivity. Problem may in layer 1.
Verify all the servers are in same domain or not. And also verify the ip configuration also.
Verify the PIX configuration also.
Also your domain names should look like "domain.local" instead of using single
lable domain names like domain