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