Input: Sentence-1: sadly for me he hasn't<sep>Sentence-2: He has proposed yet .
Output: 


Output: No