4.47/5.69	c found falsified original clause
4.47/6.05	unsat
