HTab-1.6.1: examples/unsat/test08.frm

begin
  !([R1](P1 | !P1))
end