A<>((P0==6) and (P1==6)and (P2==6)and (P3==6) and (P4==6) and (P5==6)and (P6==6)and (P7==6))