W.S.
1.5 AT will give slightly better fuel efficiency. 1.3 AT won't. Still, I would suggest to raise your budget and go for brand new 1.3L Yaris CVT instead. Complete peace of mind for years to come. Current gen. City has passed its prime IMO.
You will not get any good condition 1.3L / 1.5L good condition JDM Sedan in this budget. You will have to settle for 1000 cc hatchback in this budget, but switching from Sedan to hatchback, not recommended.
Imports are still open, one way or the other, but procedure is expensive, and prices have gone too high. USD is touching somewhere 165-170 PKR. From here, you can get the idea.
You can also look for Suzuki Ciaz, if not Yaris. You can get a very good deal for Ciaz, as its resale is low. Good car, better build quality than Honda City, CBU unit, good fuel efficiency, much better than City, etc.