HTab-1.5.4: examples/unsat/d_unsat1.frm

signature { automatic } theory
{
A D N1
}