7.77/11.00	c found falsified original clause
13.06/13.62	unsat
