21.14/23.92	c found falsified original clause
21.14/25.07	unsat
