0.00/5.04	c found falsified original clause
6.38/6.43	unsat
