17.56/18.86	c found falsified original clause
21.55/21.65	unsat
