14.75/14.86	c found falsified original clause
15.16/15.47	unsat
