13.56/13.70	c found falsified original clause
13.67/15.71	unsat
