문장의 의미를 잘 파악하여 한국어로 번역해줘.
When they spotted the star, formally named KIC 8462852, astronomers were unable to think of an explanation for what they had seen.
공식적으로 KIC 8462852로 명명된 별을 발견했을 때, 천문학자들은 본 것을 설명할 길을 찾지 못했다.