Task: Text Matching
Input (English): Sentence1: Available July 7 , the software supports the Solaris , IBM AIX , Red Hat Linux and Windows operating systems ., Sentence2: The OpForce product currently works with Solaris , AIX , Red Hat Linux and Windows servers .
Output (English): No