Add tactic_hint

1 job for master in 26 minutes and 16 seconds (queued for 11 seconds)