14.06/14.18	c found falsified original clause
14.46/14.56	unsat
