I want to convert an int to datetime in SQL Server. The finished column and the opened column are unix timestamp. 
SELECT (finished - opened) as duration FROM results
Output:
duration
---------
19
65
15
For example if the duration is 65, I wanted it to be 00:00:01:05, and if the duration is 15 I want it to be 00:00:00:15. How should I format it?