1.08/1.26	c found falsified original clause
1.08/1.28	unsat
