A!=B&&B!=C&&C!=A&&Z==16