13.11/13.62	c found falsified original clause
13.11/14.01	unsat
