io attuamente ho 80.180...., i dns sono manuali (quelli classici), comunque quei dns che hai specificato sono credo di nuova attivazione.
comunque se funzionano....