14.79/15.51	c found falsified original clause
14.79/16.06	unsat
