Rename 6174problem-5.1.3.c to 6174problem-5.3.1.c