Input: Humans can survive on Mars
Humans can survive on earth

Output: first