Цифра дня: сколько людей нужно для успешной колонизации Марса