7.36/9.77	c found falsified original clause
7.36/9.88	unsat
