Y1:=C>O OR (C=O AND C>=REF(C,1)); Y2:=C<O OR (C=O AND C<REF(C,1)); VAR1:=EVERY(Y1,3); VAR2:=EVERY(Y2,3); VAR3:=REF(VAR2,3); VAR4:=REF(L,2)>REF(L,3); VAR5:=C>REF(H,5); ѡ��:VAR1 AND VAR3 AND VAR4 AND COUNT(VAR5,6)=1 AND VAR5 ;