12.57/13.66	c found falsified original clause
12.57/13.99	unsat
