Rename test10.in.txt to test10.t