6.28/7.53	c found falsified original clause
6.28/8.76	unsat
