13.88/15.79	c found falsified original clause
13.88/17.93	unsat
