[Machine] The Messenger of Allah ﷺ used to pray ten Rak'ahs at night and he would perform Witr with a prostration, and he would perform two prostrations for Fajr, so that makes thirteen Rak'ahs.
كَانَ رَسُولُ اللهِ ﷺ يُصَلِّي مِنَ اللَّيْلِ عَشْرَ رَكَعَاتٍ وَيُوتِرُ بِسَجْدَةٍ وَيَسْجُدُ سَجْدَتَيْنِ لِلْفَجْرِ فَتِلْكَ ثَلَاثَ عَشْرَةَ رَكْعَةً
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.
كَانَ رَسُولُ اللَّهِ ﷺ يُصَلِّي مِنَ اللَّيْلِ عَشْرَ رَكَعَاتٍ وَيُوتِرُ بِسَجْدَةٍ وَيَسْجُدُ سَجْدَتَىِ الْفَجْرِ فَذَلِكَ ثَلاَثَ عَشْرَةَ رَكْعَةً
The Prophet ﷺ used to offer thirteen rakʿat of the night prayer and that included the witr and two rakʿat (Sunna) of the Fajr prayer. (Using translation from Bukhārī 1140)
كَانَ رَسُولُ اللهِ ﷺ يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً مِنْهَا الْوِتْرُ وَرَكْعَتَا الْفَجْرِ