13miniも次のiOS17がギリやろうな。おれの計算だとiOS18はかなりキツいよ。