0.78/1.06	c found falsified original clause
0.78/1.19	unsat
