Update and rename test17.in.txt to test17.t