15.15/16.73	c found falsified original clause
15.15/17.20	unsat
