0.00/5.39	c found falsified original clause
7.28/8.60	unsat
