cron job + time + как работать только в 9.30 и 12.30

Question

Я хочу запускать свою работу cron каждый день в 9:30 и в 12:30. это в 2 раза.

Это верно?

30 9,12 * * *

Ближайший я мог бы найти это https://crontab.guru/between-certain-hours 0 9-17 * * * но это «В минуту 0 после каждого часа с 9 до 17».