12.87/12.97	c found falsified original clause
13.26/13.39	unsat
