12.25/13.68	c found falsified original clause
12.25/14.41	unsat
