六月丁酉，星出天市。