The KDC for ATHENA.MIT.EDU is not specified and the sample config file does not specify [lidefaults] dns_lookup_kdc = true. Therefore, tickets for ATHENA.MIT.EDU cannot be obtained.