معمای سیاره سرخ حل می‌شود