50.58/51.44	c found falsified original clause
55.98/57.16	unsat
