Input: He could not have been working.
Output: 1