Input: Mary is not running the marathon.
Output: 1