DeepSeek-R1's correct answers are generally shorter