21.65/24.57	c found falsified original clause
21.65/24.67	unsat
