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