7.27/8.95	c found falsified original clause
7.27/11.26	unsat
