14.77/18.90	c found falsified original clause
21.44/21.51	unsat
