39.45/39.51	c found falsified original clause
44.94/46.16	unsat
