Working on SAT.lhs.  tseitin not functioning correctly.