HTab-1.6.1: examples/unsat/test11.frm

begin
!(N1 : N1)
end