HTab-1.6.1: examples/sat/test01.frm

begin
 !(P1 & P1)
end