13.66/13.74	c found falsified original clause
14.33/15.98	unsat
