My car has the same compression ratio and asks for 87 AKI, which I believe is 91 RON. I have to give it 95 though because that’s the lowest they sell here.

Funnily enough, car’s only 10 years old. I’m surprised they didn’t mandate something higher than… 87.