A1:=REF(C,1)<=REF(O,1); A2:=REF(V,1)>=REF(V,2)*1.8 AND REF(V,1)<=REF(V,2)*3; A3:=C<> A4:=V/REF(V,1)<=0.6; A5:=A1 AND A2 AND A3 AND A4; EXIST(A5,2);

A1:=REF(C,1)<=REF(O,1); A2:=REF(V,1)>=REF(V,2)*1.8 AND REF(V,1)<=REF(V,2)*3; A3:=C<> A4:=V/REF(V,1)<=0.6; A5:=A1 AND A2 AND A3 AND A4; EXIST(A5,2);