The Messenger of Allah ﷺ used to pray thirteen rakahs, including his two rakahs before the dawn prayer. He would pray six rakahs in pairs, then perform witr with five rakahs without sitting between them except at the very end.
حدثنا عبد العزيز بن يحيى الحراني حدثني محمد بن سلمة عن محمد بن إسحق عن محمد بن جعفر بن الزبير عن عروة بن الزبير
كان رسول الله ﷺ يصلي ثلاث عشرة ركعة بركعتيه قبل الصبح يصلي ستا مثنى مثنى ويوتر بخمس لا يقعد بينهن إلا في آخرهن