1.62/1.65	c found falsified original clause
2.08/2.10	unsat
