HTab-1.6.1: examples/sat/test30.frm

begin
A(!N0 v !N1)
end