POJ No.1182, transfer the information from problem to logical analysis, use contradiction.