a=b≠c