10.88/13.18	c found falsified original clause
10.88/14.85	unsat
