5.07/6.05	c found falsified original clause
5.07/6.39	unsat
