Theodore started watching a movie at 19:30.
The movie was 1 hour and 56 minutes long, but part-way through he
paused it for 12 minutes.
What was the time when the movie finished?
Give your answer using the 24 hour clock.