HTab-1.6.1: examples/unsat/test33.frm

begin
A (p1 ^ <>!p1)
end