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