7.27/9.56	c found falsified original clause
7.27/12.19	unsat
