20.43/21.64	c found falsified original clause
20.43/22.08	unsat
