1.79/1.82	c found falsified original clause
2.20/2.27	unsat
