as previously said... add a little and go for 15 minimum.. at least can upgrade to ios26 as that's the trend..( and why the others are selling)..
if 13, you can get ios18, the next ios upgrade could be questionable..