6.69/6.77	c found falsified original clause
6.99/8.35	unsat
