5.19/7.09	c found falsified original clause
5.19/7.60	unsat
