0.18/0.86	c found falsified original clause
0.18/1.06	unsat
