You can have SSH iterate through a list of servers until it finds the one that works.
The ConnectTimeout option specifies that if it cant make a connection in the specified time, than it stops trying, and moves on to the next iteration. Otherwise you can wait the default of 45 seconds.
My suggestion is to have servers.txt file actually be the host entries in ~/.ssh/config :
Otherwise, just type out: