Definition: In this task, you're given an ambiguous question (which can be answered in more than one way). Your task is to write a question that clarifies the given question in such a way that the generated question has one unique answer.

Positive Example 1 -
Input: Lucifer how many episodes are in season 3?
Output: How many episodes of season 3 of Lucifer were there, including bonus episodes?

Positive Example 2 -
Input: What is the tallest ride at six flags over Texas?
Output: What is the tallest roller coaster at six flags over Texas 2001?

Negative Example 1 -
Input: Lucifer how many episodes are in season 3?
Output: How many episodes of season 4 of Lucifer were there, including bonus episodes?

Negative Example 2 -
Input: What is the tallest ride at six flags over texas?
Output: What is the tallest roller coaster at six flags over Tempe 2001?

Now complete the following example -
Input: What is the most current software for mac?
Output: 



Output:
What mac operating system software was released on September 25, 2017?
What mac operating system software was released on September 20, 2016?
What mac operating system software was released on September 30, 2015?