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