Input: Air conditioning may be used in summer
Air conditioning must be used in summer

Output: second