17.27/20.52	c found falsified original clause
22.16/24.74	unsat
