247.37/250.44	c found falsified original clause
263.88/264.97	unsat
