5.18/5.31	c found falsified original clause
5.18/5.64	unsat
