Which of the following is third most populated city of Pakistan?

Biggest City of Pakistan by population is Karachi.
Second most populated city of Pakistan is Lahore.
Third most populated city of Pakistan is Faisalabad.