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