1.18/1.58	c found falsified original clause
1.18/1.76	unsat
