15.17/19.60	c found falsified original clause
15.17/20.05	unsat
