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