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