Removed trivial case from an (un)satisfiability test.