HTab-1.6.1: examples/unsat/test01.frm

begin
 P1 & !P1
end