6.58/11.44	c found falsified original clause
13.07/13.17	unsat
