1.29/1.73	c found falsified original clause
1.29/2.06	unsat
