0.79/0.95	c found falsified original clause
1.09/1.14	unsat
