1.29/1.30	c found falsified original clause
1.29/1.37	unsat
