HOT
矛盾方程组