8.33/11.73	c found falsified original clause
8.33/12.22	unsat
