A line segment with endpoints at #(5, 1)# and #(7, 2)# is rotated clockwise by #pi/2#. What are the new endpoints of the line segment?