Yes 155/80 r13 is written but in all Pakistani assembled cars, it is better to use High dimension of Tyre (provided by PS) + High Amperage of battery (provided by PS)
Better to use 185/70 R13 or 185/65 R13 for Safe & smooth Drive.
although it will make your consumption little more but better Relax of mind at High speed corner or Deep Turns(like usual in Karachi)