Input: He cannot have been working.
Output: 1