Sunan Abi Dawud, Book 5, Hadith 1329 (USC-MSA)

Narrated 'Aishah: The Messenger of Allah used to pray ten rak'ahs during the night, and would observe the witr with one rak'ah, he then prayed two rak'ahs of the dawn prayer. Thus he prayed thirteen rak'ahs in all.

حَدَّثَنَا ابْنُ الْمُثَنَّى، حَدَّثَنَا ابْنُ أَبِي عَدِيٍّ، عَنْ حَنْظَلَةَ، عَنِ الْقَاسِمِ بْنِ مُحَمَّدٍ، عَنْ عَائِشَةَ، قَالَتْ ‏:‏ كَانَ رَسُولُ اللَّهِ صلى الله عليه وسلم يُصَلِّي مِنَ اللَّيْلِ عَشْرَ رَكَعَاتٍ، وَيُوتِرُ بِسَجْدَةٍ، وَيَسْجُدُ سَجْدَتَىِ الْفَجْرِ، فَذَلِكَ ثَلاَثَ عَشْرَةَ رَكْعَةً ‏.‏

sunnah.com