0.99/1.03	c found falsified original clause
1.08/1.18	unsat
