54.42/56.85	c found falsified original clause
60.13/61.43	unsat
