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