1.81/1.92	c found falsified original clause
2.50/2.57	unsat
