4.67/4.93	c found falsified original clause
4.95/5.00	unsat
