1.58/3.16	c found falsified original clause
1.58/3.36	unsat
