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