5.99/6.04	c found falsified original clause
6.38/8.83	unsat
