5.28/5.32	c found falsified original clause
5.57/5.63	unsat
