HTab-1.6.1: examples/sat/test31.frm

begin
A(N0 : true)
end