19.72/21.95	c found falsified original clause
24.40/27.17	unsat
