If it's a DNS problem, then you should be able to ping those IP addresses. Can you?
You can perhaps try the OpenDNS servers.