27.90/28.06	c found falsified original clause
28.20/29.02	unsat
