21.91/22.01	c found falsified original clause
22.56/23.43	unsat
