14.75/16.15	c found falsified original clause
14.75/16.50	unsat
