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