4.88/5.28	c found falsified original clause
4.88/6.41	unsat
