火星20型とか含めて、その辺世代は100オクタン前提ではないの?