9.48/12.56	c found falsified original clause
12.64/13.01	unsat
