13.97/14.05	c found falsified original clause
13.97/16.37	unsat
