7.46/11.26	c found falsified original clause
12.98/13.04	unsat
