13.17/13.21	c found falsified original clause
13.37/15.48	unsat
