37.75/37.82	c found falsified original clause
43.83/44.73	unsat
