5.05/6.94	c found falsified original clause
5.05/7.15	unsat
