Rename 10-9.txt to 10-7.txt