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