Teradata: timestamp literal

select cast('04/10/2009 02:56:12.937' AS TIMESTAMP(3) FORMAT 'DD/MM/YYYYBHH:MI:SSDS(3)')