ntp.nict.jpの中のホスト名(ntp-b2とかntp-a3とか)は
正式には公表されてないし、変更される可能性もあるから、
個別のホスト名で3台指定するわけにもいかないんだよな。
ましてIPアドレス決め打ちにはできないし。