4.97/7.70	c found falsified original clause
4.97/8.21	unsat
