HTab-1.6.1: examples/unsat/test35.frm

begin
down(N1 !N1)
end