14.74/20.54	c found falsified original clause
21.82/21.90	unsat
