From Sahih Muslim (Hadith 1727):
It is reported on the authority of 'A'isha that the prayer of Allah's Messenger (ﷺ) in the night consisted of ten rak'ahs. He observed a Witr and two rak'ahs (of Sunan) of the dawn prayer, and thus the total comes to thirteen rak'ahs
Reference: Muslim 1727