7.37/12.79	c found falsified original clause
13.97/15.57	unsat
