Task: Text Matching
Input (English): Sentence1: He started in the 1983 Super Bowl , which Miami lost 27-17 to Washington ., Sentence2: He played four seasons in Miami , including the Dolphins ' 27-17 loss to Washington in the Super Bowl .
Output (English): No