Input: When I am awake and Susan is asleep, Bill will leave.
Output: 1