17.36/22.60	c found falsified original clause
17.36/22.70	unsat
