Problemas com os DNS

Devido a um problema de DNS, alguns utilizadores não conseguem conectar à PTnet através de /server irc.PTnet.org. Sendo assim, enquanto este problema não fica resolvido agradecemos que tentem os seguintes servidores/ip:

/server ua.PTnet.org OU /server 193.136.173.50
/server FCTUNL.PTnet.org OU /server 193.136.126.32
/server uevora.PTnet.org OU /server 193.136.216.101
/server uc.PTnet.org OU /server 193.137.208.208
/server utad.PTnet.org OU /server 193.136.40.242
/server netvisao1.PTnet.org OU /server 213.228.128.112
/server world.PTnet.org OU /server 195.23.131.68
/server VIANETWORKS.PTnet.org OU /server 195.22.0.141
/server iscte.PTnet.org OU /server 193.136.188.7

Obrigado pela compreensão.