HTab-1.5.4: examples/unsat/test01.frm

signature { automatic } theory

{
 P1 & !P1
}