4.88/5.51	c found falsified original clause
4.88/5.86	unsat
