$SOLV 简化这个并获胜。