13.14/16.19	c found falsified original clause
13.14/16.50	unsat
