15.46/17.68	c found falsified original clause
15.46/18.39	unsat
