Either one of these manual transmission oils. This is what smart recommends, for it’s semi automatic transmission.

A manual transmission uses a pedal to engage and disengage the clutch and a lever for the shifting of gears. Things are slightly different for a semi automatic gearbox that makes use of a set of actuators and a hydraulic motor in the places of a gear lever and clutch pedal, respectively. There technically called, semi automatic’s.Technically it's an automated manual. The only thing automatic about it is the shifting. It has no torque converter, bands, planetary gears, etc. of an automatic. It's a manual transmission with a clutch and sliding gears whose clutch pedal has been replaced by a controller so the driver doesn't have to shift it themselves.