13.67/15.61	c found falsified original clause
13.67/17.46	unsat
