Rename 10543.ans to 10534.ans