8.36/8.46	c found falsified original clause
8.46/8.83	unsat
