DeepSeek-R1 vs. DeepSeek-V3: Speed, Logic, and Which LLM to Choose