MinisatTest()
void
sat1()
setup()
taut1()
tearDown()
unsat1()
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait