13.98/14.33	c found falsified original clause
13.98/14.75	unsat
