20.23/26.25	c found falsified original clause
26.99/27.16	unsat
