Input: John tries not to meet Mary.
Output: 1