46.04/48.15	c found falsified original clause
55.73/55.80	unsat
