6.18/10.72	c found falsified original clause
6.18/12.50	unsat
