1.18/2.46	c found falsified original clause
1.18/2.69	unsat
